ur  

Messages by Date

• 2014/07/19 Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation orchidaceae phalaenopsis
• 2014/07/18 Re: [Ur] Collecting Ur/Web examples Adam Chlipala
• 2014/07/18 Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation Adam Chlipala
• 2014/07/18 Re: [Ur] feature request: forward url declarations Sergey Mironov
• 2014/07/17 Re: [Ur] Collecting Ur/Web examples orchidaceae phalaenopsis
• 2014/07/17 [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation orchidaceae phalaenopsis
• 2014/07/13 Re: [Ur] feature request: forward url declarations Adam Chlipala
• 2014/07/13 [Ur] feature request: forward url declarations Sergey Mironov
• 2014/07/07 [Ur] Bootstrap example ported Sergey Mironov
• 2014/07/04 [Ur] New release Adam Chlipala
• 2014/06/30 Re: [Ur] Collecting Ur/Web examples Adam Chlipala
• 2014/06/30 Re: [Ur] Collecting Ur/Web examples orchidaceae phalaenopsis
• 2014/06/29 Re: [Ur] Collecting Ur/Web examples Timothy Beyer
• 2014/06/29 Re: [Ur] Collecting Ur/Web examples Timothy Beyer
• 2014/06/29 Re: [Ur] Collecting Ur/Web examples Adam Chlipala
• 2014/06/26 [Ur] urweb-callback: version 2.0+ Sergey Mironov
• 2014/06/25 Re: [Ur] Capturing classes of queries/Dynamic SQL queries Adam Chlipala
• 2014/06/21 [Ur] Capturing classes of queries/Dynamic SQL queries orchidaceae phalaenopsis
• 2014/06/19 Re: [Ur] An Ur/Web implementation of TodoMVC Timothy Beyer
• 2014/06/19 Re: [Ur] An Ur/Web implementation of TodoMVC Adam Chlipala
• 2014/06/17 Re: [Ur] An Ur/Web implementation of TodoMVC Timothy Beyer
• 2014/06/17 Re: [Ur] An Ur/Web implementation of TodoMVC Timothy Beyer
• 2014/06/17 Re: [Ur] select .. where a <> NULL is not working Sergey Mironov
• 2014/06/17 [Ur] select .. where a <> NULL is not working Sergey Mironov
• 2014/06/17 Re: [Ur] An Ur/Web implementation of TodoMVC Adam Chlipala
• 2014/06/17 Re: [Ur] An Ur/Web implementation of TodoMVC Torstein Saltvedt
• 2014/06/16 Re: [Ur] Almost 100% bug in request() algorithm Adam Chlipala
• 2014/06/15 Re: [Ur] Almost 100% bug in request() algorithm Sergey Mironov
• 2014/06/15 [Ur] Almost 100% bug in request() algorithm Sergey Mironov
• 2014/06/15 [Ur] An Ur/Web implementation of TodoMVC Adam Chlipala
• 2014/06/15 [Ur] New release Adam Chlipala
• 2014/06/11 Re: [Ur] regression in string.ur Adam Chlipala
• 2014/06/11 Re: [Ur] regression in string.ur Adam Chlipala
• 2014/06/10 [Ur] regression in string.ur Sergey Mironov
• 2014/06/05 Re: [Ur] Force the inclusion of an url Adam Chlipala
• 2014/06/05 [Ur] urweb patch: allow '+' character for blessMime Sergey Mironov
• 2014/06/05 Re: [Ur] Force the inclusion of an url Sergey Mironov
• 2014/06/05 [Ur] Force the inclusion of an url Sergey Mironov
• 2014/05/31 [Ur] New release Adam Chlipala
• 2014/05/28 Re: [Ur] Bootstrap 3 library patch Adam Chlipala
• 2014/05/26 Re: [Ur] Bootstrap 3 library patch Patrick Hurst
• 2014/05/26 Re: [Ur] Bootstrap 3 library patch David Snider
• 2014/05/26 Re: [Ur] Bootstrap 3 library patch Patrick Hurst
• 2014/05/26 Re: [Ur] Bootstrap 3 library patch Adam Chlipala
• 2014/05/25 Re: [Ur] Bootstrap 3 library patch David Snider
• 2014/05/25 [Ur] Bootstrap 3 library patch David Snider
• 2014/05/24 Re: [Ur] Design Pattern Trouble David Snider
• 2014/05/24 [Ur] Design Pattern Trouble David Snider
• 2014/05/22 Re: [Ur] Integers as select box option values Istvan Chung
• 2014/05/22 [Ur] Integers as select box option values David Snider
• 2014/05/18 Re: [Ur] HTML5 Semantic Tags Adam Chlipala
• 2014/05/18 Re: [Ur] Collecting Ur/Web examples Adam Chlipala
• 2014/05/11 Re: [Ur] Bootstrap 3 Library Adam Chlipala
• 2014/05/10 [Ur] HTML5 Semantic Tags David Snider
• 2014/05/10 Re: [Ur] Data attributes David Snider
• 2014/05/10 [Ur] Bootstrap 3 Library David Snider
• 2014/05/09 Re: [Ur] TechEmpower benchmarks Round 9 Adam Chlipala
• 2014/05/07 Re: [Ur] Collecting Ur/Web examples Evan Danaher
• 2014/05/07 Re: [Ur] Collecting Ur/Web examples Adam Chlipala
• 2014/05/07 Re: [Ur] Collecting Ur/Web examples Austin Seipp
• 2014/05/07 Re: [Ur] Collecting Ur/Web examples Adam Chlipala
• 2014/05/07 Re: [Ur] Collecting Ur/Web examples Evan Danaher
• 2014/05/07 Re: [Ur] Collecting Ur/Web examples Adam Chlipala
• 2014/05/07 Re: [Ur] Collecting Ur/Web examples Sergey Mironov
• 2014/05/07 Re: [Ur] Collecting Ur/Web examples Sergey Mironov
• 2014/05/07 Re: [Ur] Code review request Sergey Mironov
• 2014/05/07 Re: [Ur] TechEmpower benchmarks Round 9 Sergey Mironov
• 2014/05/02 Re: [Ur] Data attributes Adam Chlipala
• 2014/05/02 [Ur] TechEmpower benchmarks Round 9 Adam Chlipala
• 2014/04/26 [Ur] Collecting Ur/Web examples Adam Chlipala
• 2014/04/26 [Ur] New release Adam Chlipala
• 2014/04/17 Re: [Ur] Code review request Adam Chlipala
• 2014/04/17 Re: [Ur] Code review request Sergey Mironov
• 2014/04/17 Re: [Ur] urweb-callback library, urweb patches Sergey Mironov
• 2014/04/15 Re: [Ur] Code review request Adam Chlipala
• 2014/04/15 Re: [Ur] urweb-callback library, urweb patches Adam Chlipala
• 2014/04/14 Re: [Ur] Save recursive datatype in a DB Adam Chlipala
• 2014/04/14 Re: [Ur] Save recursive datatype in a DB Marco Maggesi
• 2014/04/14 Re: [Ur] Save recursive datatype in a DB Adam Chlipala
• 2014/04/14 [Ur] Save recursive datatype in a DB Marco Maggesi
• 2014/04/10 Re: [Ur] missing transactions (was Code review request) Sergey Mironov
• 2014/04/10 Re: [Ur] missing transactions (was Code review request) Sergey Mironov
• 2014/04/07 Re: [Ur] Multiple urweb instances Adam Chlipala
• 2014/04/06 [Ur] Multiple urweb instances Chris Double
• 2014/04/06 Re: [Ur] Code review request Sergey Mironov
• 2014/04/06 [Ur] Code review request Sergey Mironov
• 2014/03/29 Re: [Ur] UrFlow Not in Manual Adam Chlipala
• 2014/03/28 [Ur] UrFlow Not in Manual escalier
• 2014/03/19 [Ur] ANNOUNCE urweb-callback Sergey Mironov
• 2014/03/07 Re: [Ur] getenv segfaults when called from task initialize Adam Chlipala
• 2014/03/04 Re: [Ur] getenv segfaults when called from task initialize Sergey Mironov
• 2014/03/04 Re: [Ur] getenv segfaults when called from task initialize Adam Chlipala
• 2014/03/04 [Ur] getenv segfaults when called from task initialize Sergey Mironov
• 2014/02/26 [Ur] urweb-callback library, urweb patches Sergey Mironov
• 2014/02/24 Re: [Ur] Data attributes Patrick Hurst
• 2014/02/21 Re: [Ur] Poor inference of monads over "non-canonical" types Evan Danaher
• 2014/02/21 Re: [Ur] Poor inference of monads over "non-canonical" types Patrick Hurst
• 2014/02/21 [Ur] Poor inference of monads over "non-canonical" types Evan Danaher
• 2014/02/20 Re: [Ur] Data attributes Sergey Mironov
• 2014/02/20 [Ur] Data attributes Patrick Hurst
• 2014/02/19 Re: [Ur] Framework Benchmarks Round 9 Preview Adam Chlipala
• 2014/02/18 [Ur] Framework Benchmarks Round 9 Preview escalier
• 2014/01/19 Re: [Ur] Ur/Web in production Vladimir Shabanov
• 2014/01/19 Re: [Ur] Ur/Web in production Adam Chlipala
• 2014/01/19 Re: [Ur] Ur/Web in production Adam Chlipala
• 2014/01/18 Re: [Ur] Ur/Web in production Vladimir Shabanov
• 2014/01/18 Re: [Ur] Ur/Web in production Vladimir Shabanov
• 2014/01/17 Re: [Ur] Ur/Web in production Sergey
• 2014/01/17 Re: [Ur] Ur/Web in production Marc Weber
• 2014/01/17 Re: [Ur] Ur/Web in production Vladimir Shabanov
• 2014/01/17 Re: [Ur] Ur/Web in production Marc Weber
• 2014/01/17 Re: [Ur] Ur/Web in production Adam Chlipala
• 2014/01/16 [Ur] Ur/Web in production Vladimir Shabanov
• 2014/01/09 Re: [Ur] typechecker rejects form handler Adam Chlipala
• 2014/01/08 Re: [Ur] typechecker rejects form handler Sergey
• 2014/01/07 Re: [Ur] typechecker rejects form handler Adam Chlipala
• 2014/01/07 Re: [Ur] typechecker rejects form handler Sergey
• 2014/01/07 Re: [Ur] typechecker rejects form handler Adam Chlipala
• 2014/01/07 Re: [Ur] typechecker rejects form handler Sergey
• 2014/01/07 Re: [Ur] callbacks from C FFI (again) Adam Chlipala
• 2014/01/07 Re: [Ur] callbacks from C FFI (again) Sergey
• 2014/01/05 Re: [Ur] typechecker rejects form handler Jason Gross
• 2014/01/05 Re: [Ur] typechecker rejects form handler Adam Chlipala
• 2014/01/05 Re: [Ur] typechecker rejects form handler Adam Chlipala
• 2014/01/05 Re: [Ur] callbacks from C FFI (again) Adam Chlipala
• 2014/01/05 Re: [Ur] typechecker rejects form handler Sergey Mironov
• 2014/01/04 Re: [Ur] typechecker rejects form handler Jason Gross
• 2014/01/04 Re: [Ur] typechecker rejects form handler Adam Chlipala
• 2014/01/04 Re: [Ur] typechecker rejects form handler Sergey Mironov
• 2014/01/04 Re: [Ur] typechecker rejects form handler Adam Chlipala
• 2014/01/04 [Ur] typechecker rejects form handler Sergey Mironov
• 2014/01/03 Re: [Ur] callbacks from C FFI (again) Sergey Mironov
• 2013/12/31 [Ur] New release Adam Chlipala
• 2013/12/31 Re: [Ur] callbacks from C FFI (again) Adam Chlipala
• 2013/12/30 Re: [Ur] callbacks from C FFI (again) Sergey Mironov
• 2013/12/29 Re: [Ur] callbacks from C FFI (again) Adam Chlipala
• 2013/12/29 Re: [Ur] callbacks from C FFI (again) Sergey Mironov
• 2013/12/29 [Ur] Anything I've missed for a last 2013 release? Adam Chlipala
• 2013/12/29 Re: [Ur] redirect breaks channels Adam Chlipala
• 2013/12/28 Re: [Ur] redirect breaks channels Sergey Mironov
• 2013/12/28 Re: [Ur] More thoughts on the TechEmpower framework benchmarks Adam Chlipala
• 2013/12/27 Re: [Ur] redirect breaks channels Adam Chlipala
• 2013/12/26 Re: [Ur] redirect breaks channels Sergey Mironov
• 2013/12/26 Re: [Ur] redirect breaks channels Sergey Mironov
• 2013/12/25 [Ur] More thoughts on the TechEmpower framework benchmarks Adam Chlipala
• 2013/12/25 Re: [Ur] redirect breaks channels Adam Chlipala
• 2013/12/24 Re: [Ur] redirect breaks channels Sergey Mironov
• 2013/12/24 [Ur] redirect breaks channels Sergey Mironov
• 2013/12/21 Re: [Ur] callbacks from C FFI (again) Adam Chlipala
• 2013/12/18 Re: [Ur] callbacks from C FFI (again) Sergey Mironov
• 2013/12/17 Re: [Ur] TechEmpower Benchmarks Adam Chlipala
• 2013/12/17 Re: [Ur] TechEmpower Benchmarks escalier
• 2013/12/16 Re: [Ur] callbacks from C FFI (again) Adam Chlipala
• 2013/12/16 Re: [Ur] callbacks from C FFI (again) Sergey Mironov
• 2013/12/15 Re: [Ur] callbacks from C FFI (again) Sergey Mironov
• 2013/12/15 [Ur] callbacks from C FFI (again) Sergey Mironov
• 2013/12/15 Re: [Ur] TechEmpower Benchmarks Adam Chlipala
• 2013/12/13 Re: [Ur] Implementing StateMonad transformer Sergey Mironov
• 2013/12/12 Re: [Ur] TechEmpower Benchmarks Vladimir Shabanov
• 2013/12/12 Re: [Ur] Implementing StateMonad transformer Adam Chlipala
• 2013/12/12 Re: [Ur] TechEmpower Benchmarks Adam Chlipala
• 2013/12/12 Re: [Ur] TechEmpower Benchmarks Adam Chlipala
• 2013/12/12 Re: [Ur] Implementing StateMonad transformer Sergey Mironov
• 2013/12/12 Re: [Ur] Implementing StateMonad transformer Adam Chlipala
• 2013/12/12 Re: [Ur] TechEmpower Benchmarks Vladimir Shabanov
• 2013/12/12 [Ur] Implementing StateMonad transformer Sergey Mironov
• 2013/12/11 Re: [Ur] TechEmpower Benchmarks escalier
• 2013/12/11 Re: [Ur] TechEmpower Benchmarks Adam Chlipala
• 2013/12/11 Re: [Ur] OpenId compile error Adam Chlipala
• 2013/12/11 Re: [Ur] OpenId compile error Maciek Starzyk
• 2013/12/11 Re: [Ur] TechEmpower Benchmarks escalier
• 2013/12/11 Re: [Ur] TechEmpower Benchmarks Adam Chlipala
• 2013/12/11 Re: [Ur] TechEmpower Benchmarks Adam Chlipala
• 2013/12/11 Re: [Ur] TechEmpower Benchmarks escalier
• 2013/12/11 Re: [Ur] Using Persona Authentication API Sergey Mironov
• 2013/12/10 Re: [Ur] Using Persona Authentication API Chris Double
• 2013/12/10 Re: [Ur] ANNOUNCE: uru - the jQuery widget wrappers with a demo Adam Chlipala
• 2013/12/10 Re: [Ur] Using Persona Authentication API Sergey Mironov
• 2013/12/10 Re: [Ur] ANNOUNCE: uru - the jQuery widget wrappers with a demo Sergey Mironov
• 2013/12/10 Re: [Ur] [UrWeb] urscript library plus a couple of patches Sergey Mironov
• 2013/12/09 Re: [Ur] [UrWeb] urscript library plus a couple of patches Adam Chlipala
• 2013/12/09 Re: [Ur] ANNOUNCE: uru - the jQuery widget wrappers with a demo Adam Chlipala
• 2013/12/06 Re: [Ur] [UrWeb] urscript library plus a couple of patches Sergey Mironov
• 2013/12/06 Re: [Ur] [UrWeb] urscript library plus a couple of patches Adam Chlipala
• 2013/12/06 [Ur] [UrWeb] urscript library plus a couple of patches Sergey Mironov
• 2013/12/06 Re: [Ur] ANNOUNCE: uru - the jQuery widget wrappers with a demo Sergey Mironov
• 2013/12/03 Re: [Ur] Ur's Browser Based Crypto Benefits? Adam Chlipala
• 2013/12/03 [Ur] Ur's Browser Based Crypto Benefits? Burton Samograd
• 2013/12/01 Re: [Ur] Error handlers showing HTTP header in HTML Adam Chlipala
• 2013/11/30 [Ur] Error handlers showing HTTP header in HTML Chris Double
• 2013/11/30 Re: [Ur] TechEmpower Benchmarks Adam Chlipala
• 2013/11/29 Re: [Ur] TechEmpower Benchmarks escalier
• 2013/11/29 Re: [Ur] TechEmpower Benchmarks Adam Chlipala
• 2013/11/29 Re: [Ur] TechEmpower Benchmarks Adam Chlipala
• 2013/11/28 Re: [Ur] TechEmpower Benchmarks escalier
• 2013/11/28 Re: [Ur] TechEmpower Benchmarks Adam Chlipala
• 2013/11/27 Re: [Ur] TechEmpower Benchmarks escalier
• 2013/11/27 Re: [Ur] TechEmpower Benchmarks Adam Chlipala
• 2013/11/27 Re: [Ur] TechEmpower Benchmarks escalier
• 2013/11/27 Re: [Ur] TechEmpower Benchmarks Vladimir Shabanov

• Earlier messages
• Later messages