ur

Messages by Date

2011/07/17 [Ur] hiccups with tutorial ... Vasili I. Galchin
2011/07/17 [Ur] Beginning of Ur tutorial Adam Chlipala
2011/07/17 Re: [Ur] openid fails to build on OS X Adam Chlipala
2011/07/17 Re: [Ur] openid fails to build on OS X Robin Green
2011/07/16 [Ur] Binary builds/formula of Ur/Web available for OS X & Homebrew users austin seipp
2011/07/16 [Ur] openid fails to build on OS X austin seipp
2011/07/15 [Ur] Project web site facelift! Adam Chlipala
2011/07/15 [Ur] New release Adam Chlipala
2011/07/13 [Ur] Anyone looking for paid work? Adam Chlipala
2011/06/28 Re: [Ur] Folders as implicit constructor arguments? Adam Chlipala
2011/06/27 [Ur] Folders as implicit constructor arguments? Robin Green
2011/06/24 [Ur] New wiki page: Rosetta Stone Robin Green
2011/06/23 Re: [Ur] serving css from urweb Adam Chlipala
2011/06/23 Re: [Ur] serving css from urweb Zach Tatlock
2011/06/23 Re: [Ur] serving css from urweb Robin Green
2011/06/23 Re: [Ur] serving css from urweb Karn Kallio
2011/06/23 Re: [Ur] serving css from urweb Zach Tatlock
2011/06/23 Re: [Ur] serving css from urweb Adam Chlipala
2011/06/22 Re: [Ur] serving css from urweb Chris Double
2011/06/22 Re: [Ur] serving css from urweb Zach Tatlock
2011/06/22 Re: [Ur] serving css from urweb Adam Chlipala
2011/06/22 Re: [Ur] serving css from urweb Zach Tatlock
2011/06/22 Re: [Ur] serving css from urweb Adam Chlipala
2011/06/22 Re: [Ur] serving css from urweb Zach Tatlock
2011/06/22 Re: [Ur] serving css from urweb Marc Weber
2011/06/22 Re: [Ur] serving css from urweb Adam Chlipala
2011/06/21 [Ur] serving css from urweb Zach Tatlock
2011/06/18 Re: [Ur] Compiling Ur/Web with Link-time optimization (WAS: Re: Patches to compile Ur/Web with clang) Adam Chlipala
2011/06/17 Re: [Ur] Compiling Ur/Web with Link-time optimization (WAS: Re: Patches to compile Ur/Web with clang) austin seipp
2011/06/17 [Ur] Compiling Ur/Web with Link-time optimization (WAS: Re: Patches to compile Ur/Web with clang) austin seipp
2011/06/17 Re: [Ur] Patches to compile Ur/Web with clang Adam Chlipala
2011/06/17 Re: [Ur] Patches to compile Ur/Web with clang austin seipp
2011/06/17 Re: [Ur] Patches to compile Ur/Web with clang Adam Chlipala
2011/06/17 [Ur] Patches to compile Ur/Web with clang austin seipp
2011/06/14 Re: [Ur] Performance of Ur/Web in a live site Adam Chlipala
2011/06/14 Re: [Ur] Performance of Ur/Web in a live site Chris Double
2011/06/12 Re: [Ur] Performance of Ur/Web in a live site Adam Chlipala
2011/06/08 [Ur] Performance of Ur/Web in a live site Chris Double
2011/06/04 Re: [Ur] Calling a function when the root / path is requested Adam Chlipala
2011/06/04 Re: [Ur] Calling a function when the root / path is requested Chris Double
2011/06/04 Re: [Ur] Calling a function when the root / path is requested Adam Chlipala
2011/06/04 [Ur] Calling a function when the root / path is requested Chris Double
2011/06/03 [Ur] New Ur/Web application live Chris Double
2011/05/31 Re: [Ur] Indicating failure in uw_register_transactional callbacks Adam Chlipala
2011/05/31 [Ur] Indicating failure in uw_register_transactional callbacks Chris Double
2011/05/29 Re: [Ur] requestHeader Adam Chlipala
2011/05/29 Re: [Ur] FFI and transactions Adam Chlipala
2011/05/29 Re: [Ur] FFI and transactions Robin Green
2011/05/29 [Ur] Anyone able to help performance-debug urweb-mode? Adam Chlipala
2011/05/29 Re: [Ur] Forms and signals Adam Chlipala
2011/05/29 Re: [Ur] FFI and transactions Adam Chlipala
2011/05/29 Re: [Ur] FFI and transactions Marc Weber
2011/05/29 Re: [Ur] FFI and transactions Chris Double
2011/05/29 Re: [Ur] FFI and transactions Marc Weber
2011/05/28 [Ur] Forms and signals Chris Double
2011/05/28 [Ur] FFI and transactions Robin Green
2011/05/22 Re: [Ur] requestHeader Chris Double
2011/05/22 Re: [Ur] requestHeader Adam Chlipala
2011/05/22 [Ur] requestHeader Chris Double
2011/05/22 Re: [Ur] Returning non-HTML results to clients Chris Double
2011/05/22 [Ur] Returning non-HTML results to clients Chris Double
2011/05/17 [Ur] New release Adam Chlipala
2011/05/15 Re: [Ur] Accessing time components Adam Chlipala
2011/05/15 Re: [Ur] Accessing time components (was: Proposing 'readTime') Gian Perrone
2011/05/15 Re: [Ur] Proposing 'readTime' Adam Chlipala
2011/05/15 [Ur] Proposing 'readTime' Gian Perrone
2011/05/12 Re: [Ur] Blog post Adam Chlipala
2011/05/12 Re: [Ur] Weird behavior with dyn tags in recursive call Adam Chlipala
2011/05/10 Re: [Ur] Weird behavior with dyn tags in recursive call Karn Kallio
2011/05/10 Re: [Ur] Weird behavior with dyn tags in recursive call Karn Kallio
2011/05/10 [Ur] Weird behavior with dyn tags in recursive call David Snider
2011/05/10 [Ur] Blog post David Snider
2011/05/09 Re: [Ur] Signature Help David Snider
2011/05/09 Re: [Ur] more targets / future? Adam Chlipala
2011/05/09 Re: [Ur] Signature Help Adam Chlipala
2011/05/09 [Ur] more targets / future? Marc Weber
2011/05/09 Re: [Ur] Signature Help Marc Weber
2011/05/09 [Ur] Signature Help David Snider
2011/05/09 Re: [Ur] Problem generating database for Gian's urblog application David Snider
2011/05/09 Re: [Ur] Problem generating database for Gian's urblog application Adam Chlipala
2011/05/09 [Ur] Problem generating database for Gian's urblog application David Snider
2011/04/20 Re: [Ur] haskell interface Marc Weber
2011/04/20 Re: [Ur] haskell interface Sergey Mironov
2011/04/18 [Ur] Ur Tutorial Gian Perrone
2011/04/17 Re: [Ur] tuple projection exists / record projection doesn't? Adam Chlipala
2011/04/17 [Ur] tuple projection exists / record projection doesn't? Marc Weber
2011/04/17 Re: [Ur] smlnj build, # comments for .ur files Adam Chlipala
2011/04/17 Re: [Ur] val rec and .. ? Example? Adam Chlipala
2011/04/17 Re: [Ur] val rec and .. ? Example? Marc Weber
2011/04/17 [Ur] val rec and .. ? Example? Marc Weber
2011/04/17 Re: [Ur] smlnj build, # comments for .ur files Marc Weber
2011/04/17 Re: [Ur] haskell interface Marc Weber
2011/04/17 Re: [Ur] haskell interface Adam Chlipala
2011/04/17 Re: [Ur] haskell interface Marc Weber
2011/04/17 [Ur] haskell interface Sergey Mironov
2011/04/16 Re: [Ur] last type decl wins? Adam Chlipala
2011/04/16 Re: [Ur] last type decl wins? Vag Vagoff
2011/04/16 Re: [Ur] last type decl wins? Marc Weber
2011/04/16 Re: [Ur] last type decl wins? Vag Vagoff
2011/04/16 Re: [Ur] last type decl wins? Adam Chlipala
2011/04/16 Re: [Ur] last type decl wins? Vag Vagoff
2011/04/16 Re: [Ur] last type decl wins? Marc Weber
2011/04/16 Re: [Ur] last type decl wins? Adam Chlipala
2011/04/16 Re: [Ur] last type decl wins? Vag Vagoff
2011/04/16 Re: [Ur] last type decl wins? Vag Vagoff
2011/04/16 Re: [Ur] last type decl wins? Marc Weber
2011/04/16 Re: [Ur] last type decl wins? Adam Chlipala
2011/04/16 Re: [Ur] last type decl wins? Vag Vagoff
2011/04/16 Re: [Ur] last type decl wins? Vag Vagoff
2011/04/16 Re: [Ur] last type decl wins? Vag Vagoff
2011/04/16 Re: [Ur] last type decl wins? Marc Weber
2011/04/16 Re: [Ur] last type decl wins? Adam Chlipala
2011/04/16 Re: [Ur] last type decl wins? Vag Vagoff
2011/04/14 Re: [Ur] Simple type level function Name -> Name - are there funnier examples? Adam Chlipala
2011/04/12 [Ur] Simple type level function Name -> Name - are there funnier examples? Marc Weber
2011/04/12 Re: [Ur] last type decl wins? Adam Chlipala
2011/04/12 [Ur] last type decl wins? Marc Weber
2011/04/12 Re: [Ur] Calling Ur/Web enthusiasts! Adam Chlipala
2011/04/12 Re: [Ur] Calling Ur/Web enthusiasts! Karn Kallio
2011/04/12 Re: [Ur] Calling Ur/Web enthusiasts! sampath kirupa shankar
2011/04/12 [Ur] Calling Ur/Web enthusiasts! Gian Perrone
2011/04/08 Re: [Ur] smlnj build, # comments for .ur files Adam Chlipala
2011/04/05 [Ur] smlnj build, # comments for .ur files Marc Weber
2011/03/27 Re: [Ur] A direction for Ur/Web Karn Kallio
2011/03/27 Re: [Ur] A direction for Ur/Web Karn Kallio
2011/03/27 Re: [Ur] A direction for Ur/Web Karn Kallio
2011/03/27 Re: [Ur] A direction for Ur/Web Adam Chlipala
2011/03/27 Re: [Ur] A direction for Ur/Web Karn Kallio
2011/03/26 Re: [Ur] A direction for Ur/Web Adam Chlipala
2011/03/26 Re: [Ur] A direction for Ur/Web Adam Chlipala
2011/03/26 Re: [Ur] A direction for Ur/Web Adam Chlipala
2011/03/26 Re: [Ur] A direction for Ur/Web Gian Perrone
2011/03/26 Re: [Ur] A direction for Ur/Web Karn Kallio
2011/03/26 Re: [Ur] A direction for Ur/Web Marc Weber
2011/03/26 Re: [Ur] A direction for Ur/Web Karn Kallio
2011/03/26 Re: [Ur] A direction for Ur/Web Marc Weber
2011/03/26 Re: [Ur] A direction for Ur/Web Adam Chlipala
2011/03/26 Re: [Ur] A direction for Ur/Web Marc Weber
2011/03/26 [Ur] A direction for Ur/Web Gergely Buday
2011/03/19 [Ur] Announcing an XML feed processing library Adam Chlipala
2011/02/22 Re: [Ur] running demo Gergely Buday
2011/02/22 Re: [Ur] running demo Adam Chlipala
2011/02/22 Re: [Ur] running demo Adam Chlipala
2011/02/22 [Ur] running demo Gergely Buday
2011/02/21 Re: [Ur] calling sml Gian Perrone
2011/02/21 Re: [Ur] calling sml Marc Weber
2011/02/21 Re: [Ur] calling sml Adam Chlipala
2011/02/21 Re: [Ur] garbage collection Marc Weber
2011/02/21 Re: [Ur] garbage collection Adam Chlipala
2011/02/21 [Ur] calling sml Gergely Buday
2011/02/21 [Ur] garbage collection Gergely Buday
2011/02/21 Re: [Ur] different browsers Adam Chlipala
2011/02/21 [Ur] different browsers Gergely Buday
2011/02/14 Re: [Ur] demo isn't working Adam Chlipala
2011/02/13 Re: [Ur] demo isn't working Karn Kallio
2011/02/13 [Ur] demo isn't working Qiang Liu
2011/01/25 Re: [Ur] [PATCH] Allow alt attribute on img Marc Weber
2011/01/25 Re: [Ur] [PATCH] Allow alt attribute on img Adam Chlipala
2011/01/24 Re: [Ur] [PATCH] Allow alt attribute on img Marc Weber
2011/01/24 [Ur] [PATCH] Allow alt attribute on img Karn Kallio
2011/01/23 [Ur] New release Adam Chlipala
2011/01/20 Re: [Ur] Preparing for a new Ur/Web release Marc Weber
2011/01/20 [Ur] Preparing for a new Ur/Web release Adam Chlipala
2011/01/06 Re: [Ur] "unhandled exception: UnboundNamed" Adam Chlipala
2011/01/06 [Ur] "unhandled exception: UnboundNamed" Vag Vagoff
2011/01/06 [Ur] Added user sign-up and log-in functor to OpenID library Adam Chlipala
2011/01/06 Re: [Ur] Unexpected type error: "Substitution in constructor is blocked by a too-deep unification variable" Adam Chlipala
2011/01/06 Re: [Ur] Compiler Bug? Adam Chlipala
2011/01/06 Re: [Ur] Unexpected type error: "Substitution in constructor is blocked by a too-deep unification variable" Karn Kallio
2011/01/06 [Ur] Unexpected type error: "Substitution in constructor is blocked by a too-deep unification variable" Vag Vagoff
2011/01/05 Re: [Ur] Announcing an OpenID library Marc Weber
2011/01/05 [Ur] Compiler Bug? Karn Kallio
2011/01/03 [Ur] [PATCH] Remove stray reference to libmhash Karn Kallio
2011/01/02 [Ur] Announcing an OpenID library Adam Chlipala
2010/12/22 Re: [Ur] Could we prevent most segmentation faults caused by stack overflows this way? Karn Kallio
2010/12/22 Re: [Ur] Could we prevent most segmentation faults caused by stack overflows this way? Adam Chlipala
2010/12/21 [Ur] Could we prevent most segmentation faults caused by stack overflows this way? Marc Weber
2010/12/21 Re: [Ur] little benchmark on querying a table only Adam Chlipala
2010/12/20 [Ur] creating tags for sml code? - do you know a better way then augmenting the ocaml parser of exuberant ctags with some sml specific regexes? Marc Weber
2010/12/20 Re: [Ur] simple example about constructing rects - guarded types? Adam Chlipala
2010/12/20 Re: [Ur] simple example about constructing rects - guarded types? Adam Chlipala
2010/12/20 Re: [Ur] simple example about constructing rects - guarded types? Marc Weber
2010/12/20 Re: [Ur] simple example about constructing rects - guarded types? Adam Chlipala
2010/12/20 Re: [Ur] little benchmark on querying a table only Adam Chlipala
2010/12/20 Re: [Ur] simple example about constructing rects - guarded types? Marc Weber
2010/12/20 Re: [Ur] little benchmark on querying a table only Gian Perrone
2010/12/20 Re: [Ur] little benchmark on querying a table only Marc Weber
2010/12/20 Re: [Ur] little benchmark on querying a table only Marc Weber
2010/12/20 [Ur] Anyone up for some paid work? Adam Chlipala
2010/12/20 Re: [Ur] little benchmark on querying a table only Marc Weber
2010/12/20 Re: [Ur] little benchmark on querying a table only Adam Chlipala
2010/12/20 Re: [Ur] segmentation fault when inserting 10000 instead of 1000 rows? Adam Chlipala
2010/12/20 Re: [Ur] CMS like features ? unsafe XML - encodings? Adam Chlipala
2010/12/20 Re: [Ur] CMS like features ? unsafe XML - encodings? Adam Chlipala
2010/12/20 Re: [Ur] simple example about constructing rects - guarded types? Adam Chlipala
2010/12/20 Re: [Ur] little benchmark on querying a table only Chris Double
2010/12/20 Re: [Ur] little benchmark on querying a table only Chris Double
2010/12/20 Re: [Ur] little benchmark on querying a table only Marc Weber
2010/12/19 Re: [Ur] segmentation fault when inserting 10000 instead of 1000 rows? Marc Weber
2010/12/19 Re: [Ur] little benchmark on querying a table only Gian Perrone