ur  

Messages by Date

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

• Earlier messages
• Later messages