ur  

Messages by Thread

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

• Earlier messages
• Later messages