ur  

Messages by Date

• 2018/05/01 Re: [Ur] SVG Test based on ListEdit.ur Adam Chlipala
• 2018/05/01 [Ur] SVG Test based on ListEdit.ur Jonas Mellin
• 2018/04/17 Re: [Ur] UR/Web SVG (ffi) question Adam Chlipala
• 2018/04/17 Re: [Ur] UR/Web SVG (ffi) question Jonas Mellin
• 2018/04/17 Re: [Ur] UR/Web SVG (ffi) question Adam Chlipala
• 2018/04/17 Re: [Ur] UR/Web SVG (ffi) question Jonas Mellin
• 2018/04/16 Re: [Ur] UR/Web SVG (ffi) question Adam Chlipala
• 2018/04/16 [Ur] UR/Web SVG (ffi) question Jonas Mellin
• 2018/02/12 Re: [Ur] Forms that call rpc instead of redirect Aistis Raulinaitis
• 2018/02/12 Re: [Ur] Forms that call rpc instead of redirect Aistis Raulinaitis
• 2018/02/11 Re: [Ur] Forms that call rpc instead of redirect Artyom Shalkhakov
• 2018/02/11 Re: [Ur] Forms that call rpc instead of redirect Ziv Scully
• 2018/02/11 Re: [Ur] Forms that call rpc instead of redirect Aistis Raulinaitis
• 2018/02/11 Re: [Ur] Forms that call rpc instead of redirect Adam Chlipala
• 2018/02/11 Re: [Ur] Forms that call rpc instead of redirect Aistis Raulinaitis
• 2018/02/11 Re: [Ur] Forms that call rpc instead of redirect Adam Chlipala
• 2018/02/11 Re: [Ur] Forms that call rpc instead of redirect Aistis Raulinaitis
• 2018/02/11 Re: [Ur] Forms that call rpc instead of redirect Aistis Raulinaitis
• 2018/02/11 Re: [Ur] Forms that call rpc instead of redirect Adam Chlipala
• 2018/02/11 [Ur] Forms that call rpc instead of redirect Aistis Raulinaitis
• 2018/01/31 Re: [Ur] Key-value store extension Ziv Scully
• 2018/01/31 Re: [Ur] Key-value store extension Athene Noctua
• 2018/01/31 Re: [Ur] Key-value store extension Adam Chlipala
• 2018/01/29 [Ur] Key-value store extension Athene Noctua
• 2017/11/20 Re: [Ur] Extending Ur/Web Harshita Kasera
• 2017/11/11 Re: [Ur] Set / Update values within a structure Ziv Scully
• 2017/11/10 Re: [Ur] Set / Update values within a structure Nitin Surana
• 2017/11/10 Re: [Ur] Set / Update values within a structure Adam Chlipala
• 2017/11/10 Re: [Ur] Set / Update values within a structure Nitin Surana
• 2017/11/10 Re: [Ur] Set / Update values within a structure Nitin Surana
• 2017/11/10 Re: [Ur] Research topic one semester Ur/Wev or dependent typer Daniel Agota
• 2017/11/10 Re: [Ur] Research topic one semester Ur/Wev or dependent typer Matt Rice
• 2017/11/10 Re: [Ur] Research topic one semester Ur/Wev or dependent typer Daniel Agota
• 2017/11/10 Re: [Ur] Research topic one semester Ur/Wev or dependent typer Adam Chlipala
• 2017/11/10 Re: [Ur] Research topic one semester Ur/Wev or dependent typer Adam Chlipala
• 2017/11/10 Re: [Ur] Set / Update values within a structure Adam Chlipala
• 2017/11/10 [Ur] Research topic one semester Ur/Wev or dependent typer Daniel Agota
• 2017/11/09 [Ur] Set / Update values within a structure Harshita Kasera
• 2017/11/09 Re: [Ur] Structure within let Adam Chlipala
• 2017/11/09 Re: [Ur] Structure within let Matt Rice
• 2017/11/09 [Ur] Structure within let Nitin Surana
• 2017/11/03 Re: [Ur] No sql_injectable(_prim) xbody (or xml in general). Adam Chlipala
• 2017/11/03 Re: [Ur] No sql_injectable(_prim) xbody (or xml in general). Peter Brottveit Bock
• 2017/11/03 Re: [Ur] Ur record types as sets of fields Adam Chlipala
• 2017/11/03 Re: [Ur] Ur record types as sets of fields Anthony Clayden
• 2017/11/03 Re: [Ur] No sql_injectable(_prim) xbody (or xml in general). Adam Chlipala
• 2017/11/03 Re: [Ur] Ur record types as sets of fields Adam Chlipala
• 2017/11/02 Re: [Ur] No sql_injectable(_prim) xbody (or xml in general). Artyom Shalkhakov
• 2017/11/02 Re: [Ur] Ur record types as sets of fields Anthony Clayden
• 2017/11/02 Re: [Ur] No sql_injectable(_prim) xbody (or xml in general). Adam Chlipala
• 2017/11/02 [Ur] No sql_injectable(_prim) xbody (or xml in general). Peter Brottveit Bock
• 2017/11/02 Re: [Ur] Ur record types as sets of fields Adam Chlipala
• 2017/11/01 [Ur] Ur record types as sets of fields Anthony Clayden
• 2017/11/01 Re: [Ur] RPC call line throwing error Adam Chlipala
• 2017/10/29 [Ur] How to get promise return value in UrWeb Javascript FFI Nitin Surana
• 2017/10/25 Re: [Ur] RPC call line throwing error Benjamin Barenblat
• 2017/10/24 [Ur] RPC call line throwing error Nitin Surana
• 2017/09/27 Re: [Ur] Extending Ur/Web Daniel Tornabene
• 2017/09/27 Re: [Ur] Extending Ur/Web Harshita Kasera
• 2017/09/26 Re: [Ur] Extending Ur/Web Daniel Tornabene
• 2017/09/25 [Ur] Extending Ur/Web Harshita Kasera
• 2017/08/10 Re: [Ur] Arrays and maps? Adam Chlipala
• 2017/08/10 Re: [Ur] Improving JS VM (was: Re: Arrays and maps?) Adam Chlipala
• 2017/07/25 Re: [Ur] Simple form demos (client-side processing) Artyom Shalkhakov
• 2017/07/25 Re: [Ur] Arrays and maps? Artyom Shalkhakov
• 2017/07/25 Re: [Ur] Arrays and maps? Ziv Scully
• 2017/07/24 [Ur] Improving JS VM (was: Re: Arrays and maps?) Artyom Shalkhakov
• 2017/07/24 Re: [Ur] Arrays and maps? Aistis Raulinaitis
• 2017/07/23 Re: [Ur] Arrays and maps? Artyom Shalkhakov
• 2017/07/23 Re: [Ur] Arrays and maps? Adam Chlipala
• 2017/07/22 Re: [Ur] Arrays and maps? Benjamin Barenblat
• 2017/07/22 [Ur] Arrays and maps? Artyom Shalkhakov
• 2017/07/20 [Ur] New release Adam Chlipala
• 2017/07/15 Re: [Ur] About clientOnly Aistis Raulinaitis
• 2017/07/13 [Ur] Simple form demos (client-side processing) Artyom Shalkhakov
• 2017/07/13 Re: [Ur] Anything to squeeze in before a new Ur/Web release? Adam Chlipala
• 2017/07/12 Re: [Ur] Anything to squeeze in before a new Ur/Web release? Artyom Shalkhakov
• 2017/07/12 [Ur] Anything to squeeze in before a new Ur/Web release? Adam Chlipala
• 2017/07/12 Re: [Ur] About clientOnly Adam Chlipala
• 2017/07/09 Re: [Ur] Generating fresh name (gensym :: {Unit} -> Name). Adam Chlipala
• 2017/07/09 Re: [Ur] Generating fresh name (gensym :: {Unit} -> Name). Peter Brottveit Bock
• 2017/07/09 Re: [Ur] Generating fresh name (gensym :: {Unit} -> Name). Adam Chlipala
• 2017/07/09 [Ur] Generating fresh name (gensym :: {Unit} -> Name). Peter Brottveit Bock
• 2017/07/03 Re: [Ur] Multiple joins with an outer join Athene Noctua
• 2017/07/03 Re: [Ur] Multiple joins with an outer join Adam Chlipala
• 2017/07/03 [Ur] Multiple joins with an outer join Athene Noctua
• 2017/05/22 Re: [Ur] About clientOnly Aistis Raulinaitis
• 2017/05/22 Re: [Ur] About clientOnly Adam Chlipala
• 2017/05/21 Re: [Ur] About clientOnly Aistis Raulinaitis
• 2017/05/21 Re: [Ur] About clientOnly Aistis Raulinaitis
• 2017/05/21 Re: [Ur] About clientOnly Aistis Raulinaitis
• 2017/05/21 Re: [Ur] About clientOnly Artyom Shalkhakov
• 2017/05/21 Re: [Ur] About clientOnly Aistis Raulinaitis
• 2017/05/21 Re: [Ur] About clientOnly Artyom Shalkhakov
• 2017/05/21 [Ur] About clientOnly Aistis Raulinaitis
• 2017/05/17 Re: [Ur] Invalid Link expression Aistis Raulinaitis
• 2017/05/17 Re: [Ur] Invalid Link expression Artyom Shalkhakov
• 2017/05/17 [Ur] Invalid Link expression Aistis Raulinaitis
• 2017/05/14 Re: [Ur] race condition in urweb-email Adam Chlipala
• 2017/05/14 Re: [Ur] need help with unification and field name disjointness proof failures Adam Chlipala
• 2017/05/10 Re: [Ur] expressing non-emptiness? Adam Chlipala
• 2017/05/10 [Ur] expressing non-emptiness? Marko Schuetz-Schmuck
• 2017/05/09 Re: [Ur] Handling the POST request Jeevjyot Chhabda
• 2017/05/09 Re: [Ur] Handling the POST request Artyom Shalkhakov
• 2017/05/09 [Ur] Handling the POST request Jeevjyot Chhabda
• 2017/05/02 Re: [Ur] race condition in urweb-email Adam Chlipala
• 2017/05/02 [Ur] race condition in urweb-email Marko Schütz Schmuck
• 2017/05/01 Re: [Ur] EUnurlify in code to be compiled to JavaScript[2]? Adam Chlipala
• 2017/05/01 Re: [Ur] EUnurlify in code to be compiled to JavaScript[2]? Benjamin Barenblat
• 2017/04/30 Re: [Ur] EUnurlify in code to be compiled to JavaScript[2]? Adam Chlipala
• 2017/04/30 Re: [Ur] fastCGI backend and POST /.msgs HTTP/1.1 requests Adam Chlipala
• 2017/04/25 Re: [Ur] [Ur/Web Ffi: JavaScript] Jeevjyot Chhabda
• 2017/04/25 Re: [Ur] [Ur/Web Ffi: JavaScript] Jeevjyot Chhabda
• 2017/04/25 Re: [Ur] [Ur/Web Ffi: JavaScript] Adam Chlipala
• 2017/04/25 Re: [Ur] [Ur/Web Ffi: JavaScript] Artyom Shalkhakov
• 2017/04/24 [Ur] [Ur/Web Ffi: JavaScript] Jeevjyot Chhabda
• 2017/04/21 Re: [Ur] EUnurlify in code to be compiled to JavaScript[2]? Marko Schütz Schmuck
• 2017/04/21 Re: [Ur] EUnurlify in code to be compiled to JavaScript[2]? Benjamin Barenblat
• 2017/04/19 [Ur] EUnurlify in code to be compiled to JavaScript[2]? Marko Schütz Schmuck
• 2017/04/19 [Ur] issues with emacs mode Marko Schütz Schmuck
• 2017/04/17 Re: [Ur] Ur/Web people organizer: editable table with fixed (hidden) field? Marko Schütz Schmuck
• 2017/04/17 Re: [Ur] Ur on gitlab pages Artyom Shalkhakov
• 2017/04/17 Re: [Ur] Ur on gitlab pages Matt Rice
• 2017/04/17 Re: [Ur] Ur on gitlab pages Artyom Shalkhakov
• 2017/04/17 Re: [Ur] Ur on gitlab pages Adam Chlipala
• 2017/04/16 Re: [Ur] Ur on gitlab pages Artyom Shalkhakov
• 2017/04/16 Re: [Ur] fastCGI backend and POST /.msgs HTTP/1.1 requests Adam Chlipala
• 2017/04/16 [Ur] Ur on gitlab pages Matt Rice
• 2017/04/15 Re: [Ur] fastCGI backend and POST /.msgs HTTP/1.1 requests Sergey Mironov
• 2017/04/14 Re: [Ur] fastCGI backend and POST /.msgs HTTP/1.1 requests Sergey Mironov
• 2017/04/14 Re: [Ur] fastCGI backend and POST /.msgs HTTP/1.1 requests Benjamin Barenblat
• 2017/04/14 Re: [Ur] Ur/Web people organizer: editable table with fixed (hidden) field? Marko Schütz-Schmuck
• 2017/04/13 [Ur] fastCGI backend and POST /.msgs HTTP/1.1 requests Sergey Mironov
• 2017/04/13 Re: [Ur] Ur/Web people organizer: editable table with fixed (hidden) field? Adam Chlipala
• 2017/04/12 Re: [Ur] Need help with UPO: Ckeditor, Fail: Can't find variable: CKEDITOR? Jeevjyot Chhabda
• 2017/04/11 Re: [Ur] Need help with UPO: Ckeditor, Fail: Can't find variable: CKEDITOR? Artyom Shalkhakov
• 2017/04/11 [Ur] Need help with UPO: Ckeditor, Fail: Can't find variable: CKEDITOR? Jeevjyot Chhabda
• 2017/04/11 Re: [Ur] Ur/Web people organizer: editable table with fixed (hidden) field? Marko Schütz Schmuck
• 2017/04/11 Re: [Ur] Ur/Web people organizer: editable table with fixed (hidden) field? Ziv Scully
• 2017/04/11 Re: [Ur] Ur/Web people organizer: editable table with fixed (hidden) field? Marko Schütz Schmuck
• 2017/04/11 Re: [Ur] Ur/Web people organizer: editable table with fixed (hidden) field? Adam Chlipala
• 2017/04/11 Re: [Ur] Ur/Web people organizer: editable table with fixed (hidden) field? Marko Schütz Schmuck
• 2017/04/11 Re: [Ur] Ur/Web people organizer: editable table with fixed (hidden) field? Adam Chlipala
• 2017/04/10 [Ur] Ur/Web people organizer: editable table with fixed (hidden) field? Marko Schütz Schmuck
• 2017/04/08 Re: [Ur] need help with unification and field name disjointness proof failures Adam Chlipala
• 2017/04/08 Re: [Ur] Big drop in Ur performance in latest web framework benchmark Adam Chlipala
• 2017/04/07 Re: [Ur] need help with unification and field name disjointness proof failures Marko Schütz Schmuck
• 2017/04/07 Re: [Ur] need help with unification and field name disjointness proof failures Marko Schütz Schmuck
• 2017/04/06 Re: [Ur] need help with unification and field name disjointness proof failures Benjamin Barenblat
• 2017/04/06 Re: [Ur] need help with unification and field name disjointness proof failures Adam Chlipala
• 2017/04/06 Re: [Ur] need help with unification and field name disjointness proof failures Benjamin Barenblat
• 2017/04/06 Re: [Ur] need help with unification and field name disjointness proof failures Benjamin Barenblat
• 2017/04/06 [Ur] need help with unification and field name disjointness proof failures Marko Schütz Schmuck
• 2017/04/04 Re: [Ur] solution to the DB chicken and egg problem? Marko Schütz Schmuck
• 2017/04/04 Re: [Ur] solution to the DB chicken and egg problem? Adam Chlipala
• 2017/04/03 Re: [Ur] solution to the DB chicken and egg problem? Artyom Shalkhakov
• 2017/04/03 Re: [Ur] solution to the DB chicken and egg problem? Ziv Scully
• 2017/04/03 [Ur] Shibboleth idp? Marko Schütz Schmuck
• 2017/04/03 Re: [Ur] solution to the DB chicken and egg problem? Marko Schütz Schmuck
• 2017/04/03 Re: [Ur] solution to the DB chicken and egg problem? Adam Chlipala
• 2017/04/03 Re: [Ur] <ctextinput source={s} /> looses input focus after every keypress Sergey Mironov
• 2017/04/03 Re: [Ur] <ctextinput source={s} /> looses input focus after every keypress Adam Chlipala
• 2017/04/03 Re: [Ur] <ctextinput source={s} /> looses input focus after every keypress Sergey Mironov
• 2017/04/03 Re: [Ur] <ctextinput source={s} /> looses input focus after every keypress Adam Chlipala
• 2017/04/03 [Ur] <ctextinput source={s} /> looses input focus after every keypress Sergey Mironov
• 2017/04/02 Re: [Ur] solution to the DB chicken and egg problem? Marko Schütz Schmuck
• 2017/04/02 Re: [Ur] solution to the DB chicken and egg problem? Adam Chlipala
• 2017/04/02 [Ur] solution to the DB chicken and egg problem? Marko Schütz Schmuck
• 2017/04/01 [Ur] Big drop in Ur performance in latest web framework benchmark Andy
• 2017/04/01 Re: [Ur] Policy keyword? Adam Chlipala
• 2017/04/01 [Ur] Policy keyword? Marko Schütz-Schmuck
• 2017/03/31 Re: [Ur] Inserting multiple tuples at once? Adam Chlipala
• 2017/03/31 [Ur] Inserting multiple tuples at once? Marko Schütz-Schmuck
• 2017/03/31 Re: [Ur] pushing program parts into the DBMS? Adam Chlipala
• 2017/03/31 [Ur] pushing program parts into the DBMS? Marko Schütz Schmuck
• 2017/03/30 Re: [Ur] making a new instance of class show? Artyom Shalkhakov
• 2017/03/30 Re: [Ur] making a new instance of class show? Marko Schütz Schmuck
• 2017/03/30 [Ur] making a new instance of class show? Marko Schütz Schmuck
• 2017/03/28 [Ur] Ur/Web developer fold
• 2017/03/27 Re: [Ur] indentation style Adam Chlipala
• 2017/03/27 [Ur] indentation style Marko Schütz Schmuck
• 2017/03/27 Re: [Ur] puzzled about unification error Marko Schütz Schmuck
• 2017/03/27 Re: [Ur] puzzled about unification error Adam Chlipala
• 2017/03/27 [Ur] puzzled about unification error Marko Schütz Schmuck
• 2017/03/25 Re: [Ur] nginx sample configuration Adam Chlipala
• 2017/03/23 Re: [Ur] nginx sample configuration Sergey Mironov
• 2017/03/17 Re: [Ur] Better compiler errors. Adam Chlipala
• 2017/03/15 [Ur] nginx sample configuration Sergey Mironov
• 2017/03/13 Re: [Ur] Better compiler errors. Artyom Shalkhakov
• 2017/03/13 Re: [Ur] Better compiler errors. Benjamin Barenblat
• 2017/03/13 [Ur] Better compiler errors. Isaac Torbett
• 2017/03/13 [Ur] Toy relational algebra interpreter Artyom Shalkhakov
• 2017/03/09 Re: [Ur] A simple app Artyom Shalkhakov
• 2017/03/09 Re: [Ur] A simple app Adam Chlipala
• 2017/03/09 Re: [Ur] Ur/Web's abstract machine (for JS) Adam Chlipala
• 2017/03/09 Re: [Ur] Running same function on client and server Adam Chlipala
• 2017/03/09 [Ur] Ur/Web's abstract machine (for JS) Artyom Shalkhakov
• 2017/03/09 Re: [Ur] Running same function on client and server Artyom Shalkhakov
• 2017/03/09 Re: [Ur] Regular expressions DSEL? Artyom Shalkhakov
• 2017/03/09 Re: [Ur] Regular expressions DSEL? Ziv Scully

• Earlier messages
• Later messages