ur  

Messages by Thread

• • Re: [Ur] JSON web service/api? Isaac Torbett
  • Re: [Ur] JSON web service/api? Artyom Shalkhakov
  • [Ur] JSON web service/api? Isaac Torbett
  • Re: [Ur] JSON web service/api? Artyom Shalkhakov
• [Ur] A simple app Artyom Shalkhakov
  • Re: [Ur] A simple app Artyom Shalkhakov
  • Re: [Ur] A simple app Adam Chlipala
  • Re: [Ur] A simple app Artyom Shalkhakov
• [Ur] Bootstrap example in ur/Web Jeevjyot Singh Chhabda
  • Re: [Ur] Bootstrap example in ur/Web Adam Chlipala
  • Re: [Ur] Bootstrap example in ur/Web Jeevjyot Chhabda
• [Ur] Cannot find file urweb-mode for emacs Jeevjyot Chhabda
  • Re: [Ur] Cannot find file urweb-mode for emacs Tuncer Ayaz
  • Re: [Ur] Cannot find file urweb-mode for emacs Jeevjyot Chhabda
  • Re: [Ur] Cannot find file urweb-mode for emacs Jeevjyot Chhabda
  • Re: [Ur] Cannot find file urweb-mode for emacs Eran Meir
• [Ur] compiler time/space depending on number of table attributes Marko Schütz Schmuck
  • Re: [Ur] compiler time/space depending on number of table attributes Adam Chlipala
  • Re: [Ur] compiler time/space depending on number of table attributes Marko Schütz Schmuck
  • Re: [Ur] compiler time/space depending on number of table attributes Marko Schütz Schmuck
  • Re: [Ur] compiler time/space depending on number of table attributes Adam Chlipala
  • Re: [Ur] compiler time/space depending on number of table attributes Marko Schütz Schmuck
• [Ur] sqlite, sequence, database is locked Sergey Mironov
  • Re: [Ur] sqlite, sequence, database is locked Austin Seipp
  • Re: [Ur] sqlite, sequence, database is locked Adam Chlipala
• [Ur] effectful? (Re: 'Anonymous function remains at code generation' error) Marko Schütz Schmuck
  • Re: [Ur] effectful? (Re: 'Anonymous function remains at code generation' error) Adam Chlipala
• [Ur] 'Anonymous function remains at code generation' error Marko Schütz Schmuck
• [Ur] Regular expressions DSEL? Artyom Shalkhakov
  • Re: [Ur] Regular expressions DSEL? fold
  • Re: [Ur] Regular expressions DSEL? Artyom Shalkhakov
  • Re: [Ur] Regular expressions DSEL? Ziv Scully
  • Re: [Ur] Regular expressions DSEL? Artyom Shalkhakov
  • Re: [Ur] Regular expressions DSEL? Ziv Scully
  • Re: [Ur] Regular expressions DSEL? Artyom Shalkhakov
  • Re: [Ur] Regular expressions DSEL? Ziv Scully
  • Re: [Ur] Regular expressions DSEL? Artyom Shalkhakov
  • Re: [Ur] Regular expressions DSEL? Adam Chlipala
  • Re: [Ur] Regular expressions DSEL? Benjamin Barenblat
  • Re: [Ur] Regular expressions DSEL? Artyom Shalkhakov
  • Re: [Ur] Regular expressions DSEL? Benjamin Barenblat
  • Re: [Ur] Regular expressions DSEL? Artyom Shalkhakov
  • Re: [Ur] Regular expressions DSEL? Artyom Shalkhakov
  • Re: [Ur] Regular expressions DSEL? Artyom Shalkhakov
  • Re: [Ur] Regular expressions DSEL? Adam Chlipala
  • Re: [Ur] Regular expressions DSEL? Artyom Shalkhakov
• [Ur] returnBlob behavior? Marko Schütz Schmuck
  • Re: [Ur] returnBlob behavior? Adam Chlipala
  • Re: [Ur] returnBlob behavior? Sergey Mironov
  • Re: [Ur] returnBlob behavior? Sergey Mironov
• Re: [Ur] Ur Digest, Vol 96, Issue 6 Yves Cloutier
• [Ur] Using Ur/Web for static site generation Artyom Shalkhakov
• [Ur] Need help with desugaring dml Sergey Mironov
  • Re: [Ur] Need help with desugaring dml fold
  • Re: [Ur] Need help with desugaring dml fold
  • Re: [Ur] Need help with desugaring dml Adam Chlipala
  • Re: [Ur] Need help with desugaring dml Sergey Mironov
  • Re: [Ur] Need help with desugaring dml Adam Chlipala
  • Re: [Ur] Need help with desugaring dml Sergey Mironov
  • Re: [Ur] Need help with desugaring dml Adam Chlipala
• [Ur] Database migrations Artyom Shalkhakov
  • Re: [Ur] Database migrations Saulo Araujo
  • Re: [Ur] Database migrations Artyom Shalkhakov
• [Ur] Ur/Web libraries moved to GitHub Adam Chlipala
• [Ur] Searching for media server Sergey Mironov
• [Ur] Unsupported expression Marco Maggesi
  • Re: [Ur] Unsupported expression Adam Chlipala
  • Re: [Ur] Unsupported expression Marco Maggesi
• [Ur] New release soon; any last change requests? Adam Chlipala
  • Re: [Ur] New release soon; any last change requests? fold
  • Re: [Ur] New release soon; any last change requests? Adam Chlipala
• [Ur] Rendering SVG Yves Cloutier
  • Re: [Ur] Rendering SVG Ziv Scully
• [Ur] New round of TechEmpower benchmark results Adam Chlipala
• [Ur] Various Ur/Web examples online Sergey Mironov
• [Ur] Getting file data out of blob/out of file Justin Marsh
  • Re: [Ur] Getting file data out of blob/out of file fold
  • Re: [Ur] Getting file data out of blob/out of file Justin Marsh
• [Ur] Absolute library paths problem Sergey Mironov
• [Ur] Browser-based adventure game Michael Rohs
  • Re: [Ur] Browser-based adventure game Saulo Araujo
  • Re: [Ur] Browser-based adventure game Michael Rohs
  • Re: [Ur] Browser-based adventure game Saulo Araujo
  • Re: [Ur] Browser-based adventure game Michael Rohs
  • Re: [Ur] Browser-based adventure game Adam Chlipala
• [Ur] int to string? Michael Rohs
  • Re: [Ur] int to string? Saulo Araujo
  • Re: [Ur] int to string? Michael Rohs
  • Re: [Ur] int to string? Saulo Araujo
  • Re: [Ur] int to string? Michael Rohs
• [Ur] Grammar/Parser bug? Saulo Araujo
  • Re: [Ur] Grammar/Parser bug? Adam Chlipala
  • Re: [Ur] Grammar/Parser bug? Saulo Araujo
  • Re: [Ur] Grammar/Parser bug? Adam Chlipala
  • Re: [Ur] Grammar/Parser bug? Adam Chlipala
  • Re: [Ur] Grammar/Parser bug? Saulo Araujo
• [Ur] ListEdit Demo Michael Rohs
  • Re: [Ur] ListEdit Demo Adam Chlipala
• [Ur] RPC code doesn't use a named function or transaction Saulo Araujo
  • Re: [Ur] RPC code doesn't use a named function or transaction Adam Chlipala
• [Ur] Sharing types in signatures Saulo Araujo
  • Re: [Ur] Sharing types in signatures Ziv Scully
  • Re: [Ur] Sharing types in signatures Saulo Araujo
• [Ur] Sql.easy_insertOrUpdate Saulo Araujo
  • Re: [Ur] Sql.easy_insertOrUpdate Saulo Araujo
  • Re: [Ur] Sql.easy_insertOrUpdate Adam Chlipala
• [Ur] Metaprogramming doubt Saulo Araujo
  • Re: [Ur] Metaprogramming doubt Adam Chlipala
  • Re: [Ur] Metaprogramming doubt Saulo Araujo
• [Ur] Nix-based Ur/Web building system Sergey Mironov
  • Re: [Ur] Nix-based Ur/Web building system Marco Maggesi
  • Re: [Ur] Nix-based Ur/Web building system Adam Chlipala
• [Ur] Suggestions for an Emacs face? Adam Chlipala
  • Re: [Ur] Suggestions for an Emacs face? Ziv Scully
  • Re: [Ur] Suggestions for an Emacs face? Adam Chlipala
• [Ur] Triggering JavaScript context switches Benjamin Barenblat
  • Re: [Ur] Triggering JavaScript context switches Saulo Araujo
  • Re: [Ur] Triggering JavaScript context switches Adam Chlipala
• [Ur] Substantial memory leak in the JavaScript runtime Saulo Araujo
  • Re: [Ur] Substantial memory leak in the JavaScript runtime Saulo Araujo
  • Re: [Ur] Substantial memory leak in the JavaScript runtime Adam Chlipala
  • Re: [Ur] Substantial memory leak in the JavaScript runtime Saulo Araujo
  • Re: [Ur] Substantial memory leak in the JavaScript runtime Adam Chlipala
  • Re: [Ur] Substantial memory leak in the JavaScript runtime Saulo Araujo
  • Re: [Ur] Substantial memory leak in the JavaScript runtime Adam Chlipala
  • Re: [Ur] Substantial memory leak in the JavaScript runtime Saulo Araujo
• [Ur] Statically linking Ur/Web runtime Benjamin Barenblat
  • Re: [Ur] Statically linking Ur/Web runtime Adam Chlipala
  • Re: [Ur] Statically linking Ur/Web runtime Benjamin Barenblat
  • Re: [Ur] Statically linking Ur/Web runtime Adam Chlipala
  • Re: [Ur] Statically linking Ur/Web runtime Benjamin Barenblat
• [Ur] Javascript alerts Saulo Araujo
  • Re: [Ur] Javascript alerts Adam Chlipala
  • Re: [Ur] Javascript alerts Saulo Araujo
  • Re: [Ur] Javascript alerts Saulo Araujo
  • Re: [Ur] Javascript alerts Saulo Araujo
  • Re: [Ur] Javascript alerts Adam Chlipala
  • Re: [Ur] Javascript alerts Saulo Araujo
• [Ur] Busy indicator Saulo Araujo
  • Re: [Ur] Busy indicator Adam Chlipala
  • Re: [Ur] Busy indicator Saulo Araujo
  • Re: [Ur] Busy indicator Adam Chlipala
  • Re: [Ur] Busy indicator Saulo Araujo
  • Re: [Ur] Busy indicator Adam Chlipala
  • Re: [Ur] Busy indicator Saulo Araujo
  • Re: [Ur] Busy indicator Adam Chlipala
  • Re: [Ur] Busy indicator Saulo Araujo
  • Re: [Ur] Busy indicator Adam Chlipala
• [Ur] Runtime error Saulo Araujo
  • Re: [Ur] Runtime error Saulo Araujo
  • Re: [Ur] Runtime error Ziv Scully
  • Re: [Ur] Runtime error Saulo Araujo
• [Ur] Ur/Web (and MLton) on OpenBSD ml
  • Re: [Ur] Ur/Web (and MLton) on OpenBSD Adam Chlipala
  • Re: [Ur] Ur/Web (and MLton) on OpenBSD ml
  • Re: [Ur] Ur/Web (and MLton) on OpenBSD Adam Chlipala
  • Re: [Ur] Ur/Web (and MLton) on OpenBSD ml
  • Re: [Ur] Ur/Web (and MLton) on OpenBSD Adam Chlipala
• [Ur] Help psychoanalyzing some C compilers? Adam Chlipala
  • Re: [Ur] Help psychoanalyzing some C compilers? Benjamin Barenblat
• [Ur] Two kind-related polymorphism questions Ziv Scully
  • Re: [Ur] Two kind-related polymorphism questions Adam Chlipala
• [Ur] local css Nico Cerwick
  • Re: [Ur] local css Adam Chlipala
• [Ur] Thoughts on <meta> tags in Ur/Web? Adam Chlipala
  • Re: [Ur] Thoughts on <meta> tags in Ur/Web? foldr
  • Re: [Ur] Thoughts on <meta> tags in Ur/Web? Adam Chlipala
  • Re: [Ur] Thoughts on <meta> tags in Ur/Web? foldr
• [Ur] C type for Ur/Web list type Artyom Shalkhakov
  • Re: [Ur] C type for Ur/Web list type Adam Chlipala
  • Re: [Ur] C type for Ur/Web list type Artyom Shalkhakov
  • Re: [Ur] C type for Ur/Web list type Adam Chlipala
  • Re: [Ur] C type for Ur/Web list type Artyom Shalkhakov
  • Re: [Ur] C type for Ur/Web list type Adam Chlipala
• [Ur] This is an expression but not a pattern Yves Cloutier
  • Re: [Ur] This is an expression but not a pattern Artyom Shalkhakov
• [Ur] Length mismatch in INSERT field specification Yves Cloutier
  • Re: [Ur] Length mismatch in INSERT field specification Adam Chlipala
• [Ur] Length mismatch in INSERT field specification Yves Cloutier
  • Re: [Ur] Length mismatch in INSERT field specification Adam Chlipala
• [Ur] FFI - initialization and shutdown logic for third-party modules foldr
  • Re: [Ur] FFI - initialization and shutdown logic for third-party modules Adam Chlipala
• [Ur] Error handling in Ur foldr
  • Re: [Ur] Error handling in Ur Sergey Mironov
  • Re: [Ur] Error handling in Ur foldr
  • Re: [Ur] Error handling in Ur Adam Chlipala
  • Re: [Ur] Error handling in Ur foldr
  • Re: [Ur] Error handling in Ur Adam Chlipala
• [Ur] Editor Syntax Highlighting, Indentation Yves Cloutier
  • Re: [Ur] Editor Syntax Highlighting, Indentation Adam Chlipala
• [Ur] Sequences Yves Cloutier
• [Ur] Sequences Yves Cloutier
  • Re: [Ur] Sequences Ziv Scully
  • Re: [Ur] Sequences Adam Chlipala
• [Ur] Error while loading shared libraries: liburweb_http.so.0 Yves Cloutier
  • Re: [Ur] Error while loading shared libraries: liburweb_http.so.0 Benjamin Barenblat
  • Re: [Ur] Error while loading shared libraries: liburweb_http.so.0 Adam Chlipala
  • Re: [Ur] Error while loading shared libraries: liburweb_http.so.0 Benjamin Barenblat
  • Re: [Ur] Error while loading shared libraries: liburweb_http.so.0 Yves Cloutier
  • Re: [Ur] Error while loading shared libraries: liburweb_http.so.0 Ziv Scully

• Earlier messages
• Later messages