ur  

Messages by Thread

• • Re: [Ur] requestHeader Adam Chlipala
  • Re: [Ur] requestHeader Chris Double
  • Re: [Ur] requestHeader Adam Chlipala
• [Ur] Returning non-HTML results to clients Chris Double
  • Re: [Ur] Returning non-HTML results to clients Chris Double
• [Ur] Proposing 'readTime' Gian Perrone
  • Re: [Ur] Proposing 'readTime' Adam Chlipala
  • Re: [Ur] Accessing time components (was: Proposing 'readTime') Gian Perrone
  • Re: [Ur] Accessing time components Adam Chlipala
• [Ur] Weird behavior with dyn tags in recursive call David Snider
  • Re: [Ur] Weird behavior with dyn tags in recursive call Karn Kallio
  • Re: [Ur] Weird behavior with dyn tags in recursive call Karn Kallio
  • Re: [Ur] Weird behavior with dyn tags in recursive call Adam Chlipala
• [Ur] Blog post David Snider
  • Re: [Ur] Blog post Adam Chlipala
• [Ur] more targets / future? Marc Weber
  • Re: [Ur] more targets / future? Adam Chlipala
• [Ur] Signature Help David Snider
  • Re: [Ur] Signature Help Marc Weber
  • Re: [Ur] Signature Help Adam Chlipala
  • Re: [Ur] Signature Help David Snider
• [Ur] Problem generating database for Gian's urblog application David Snider
  • Re: [Ur] Problem generating database for Gian's urblog application Adam Chlipala
  • Re: [Ur] Problem generating database for Gian's urblog application David Snider
• [Ur] Ur Tutorial Gian Perrone
• [Ur] tuple projection exists / record projection doesn't? Marc Weber
  • Re: [Ur] tuple projection exists / record projection doesn't? Adam Chlipala
• [Ur] val rec and .. ? Example? Marc Weber
  • Re: [Ur] val rec and .. ? Example? Marc Weber
  • Re: [Ur] val rec and .. ? Example? Adam Chlipala
• [Ur] haskell interface Sergey Mironov
  • Re: [Ur] haskell interface Marc Weber
  • Re: [Ur] haskell interface Sergey Mironov
  • Re: [Ur] haskell interface Marc Weber
  • Re: [Ur] haskell interface Adam Chlipala
  • Re: [Ur] haskell interface Marc Weber
• [Ur] Simple type level function Name -> Name - are there funnier examples? Marc Weber
  • Re: [Ur] Simple type level function Name -> Name - are there funnier examples? Adam Chlipala
• [Ur] last type decl wins? Marc Weber
  • Re: [Ur] last type decl wins? Adam Chlipala
  • Re: [Ur] last type decl wins? Vag Vagoff
  • Re: [Ur] last type decl wins? Adam Chlipala
  • Re: [Ur] last type decl wins? Marc Weber
  • Re: [Ur] last type decl wins? Vag Vagoff
  • Re: [Ur] last type decl wins? Vag Vagoff
  • Re: [Ur] last type decl wins? Marc Weber
  • Re: [Ur] last type decl wins? Vag Vagoff
  • Re: [Ur] last type decl wins? Vag Vagoff
  • Re: [Ur] last type decl wins? Adam Chlipala
  • Re: [Ur] last type decl wins? Vag Vagoff
  • Re: [Ur] last type decl wins? Adam Chlipala
  • Re: [Ur] last type decl wins? Vag Vagoff
  • Re: [Ur] last type decl wins? Adam Chlipala
  • Re: [Ur] last type decl wins? Vag Vagoff
  • Re: [Ur] last type decl wins? Marc Weber
  • Re: [Ur] last type decl wins? Vag Vagoff
  • Re: [Ur] last type decl wins? Adam Chlipala
  • Re: [Ur] last type decl wins? Marc Weber
• [Ur] Calling Ur/Web enthusiasts! Gian Perrone
  • Re: [Ur] Calling Ur/Web enthusiasts! sampath kirupa shankar
  • Re: [Ur] Calling Ur/Web enthusiasts! Adam Chlipala
  • Re: [Ur] Calling Ur/Web enthusiasts! Karn Kallio
• [Ur] smlnj build, # comments for .ur files Marc Weber
  • Re: [Ur] smlnj build, # comments for .ur files Adam Chlipala
  • Re: [Ur] smlnj build, # comments for .ur files Marc Weber
  • Re: [Ur] smlnj build, # comments for .ur files Adam Chlipala
• [Ur] A direction for Ur/Web Gergely Buday
  • Re: [Ur] A direction for Ur/Web Marc Weber
  • Re: [Ur] A direction for Ur/Web Adam Chlipala
  • Re: [Ur] A direction for Ur/Web Marc Weber
  • Re: [Ur] A direction for Ur/Web Adam Chlipala
  • Re: [Ur] A direction for Ur/Web Gian Perrone
  • Re: [Ur] A direction for Ur/Web Karn Kallio
  • Re: [Ur] A direction for Ur/Web Karn Kallio
  • Re: [Ur] A direction for Ur/Web Marc Weber
  • Re: [Ur] A direction for Ur/Web Karn Kallio
  • Re: [Ur] A direction for Ur/Web Adam Chlipala
  • Re: [Ur] A direction for Ur/Web Karn Kallio
  • Re: [Ur] A direction for Ur/Web Adam Chlipala
  • Re: [Ur] A direction for Ur/Web Karn Kallio
  • Re: [Ur] A direction for Ur/Web Adam Chlipala
  • Re: [Ur] A direction for Ur/Web Karn Kallio
• [Ur] Announcing an XML feed processing library Adam Chlipala
• [Ur] running demo Gergely Buday
  • Re: [Ur] running demo Adam Chlipala
  • Re: [Ur] running demo Adam Chlipala
  • Re: [Ur] running demo Gergely Buday
• [Ur] calling sml Gergely Buday
  • Re: [Ur] calling sml Adam Chlipala
  • Re: [Ur] calling sml Marc Weber
  • Re: [Ur] calling sml Gian Perrone
• [Ur] garbage collection Gergely Buday
  • Re: [Ur] garbage collection Adam Chlipala
  • Re: [Ur] garbage collection Marc Weber
• [Ur] different browsers Gergely Buday
  • Re: [Ur] different browsers Adam Chlipala
• [Ur] demo isn't working Qiang Liu
  • Re: [Ur] demo isn't working Karn Kallio
  • Re: [Ur] demo isn't working Adam Chlipala
• [Ur] [PATCH] Allow alt attribute on img Karn Kallio
  • Re: [Ur] [PATCH] Allow alt attribute on img Marc Weber
  • Re: [Ur] [PATCH] Allow alt attribute on img Adam Chlipala
  • Re: [Ur] [PATCH] Allow alt attribute on img Marc Weber
• [Ur] Preparing for a new Ur/Web release Adam Chlipala
  • Re: [Ur] Preparing for a new Ur/Web release Marc Weber
• [Ur] "unhandled exception: UnboundNamed" Vag Vagoff
  • Re: [Ur] "unhandled exception: UnboundNamed" Adam Chlipala
• [Ur] Added user sign-up and log-in functor to OpenID library Adam Chlipala
• [Ur] Unexpected type error: "Substitution in constructor is blocked by a too-deep unification variable" Vag Vagoff
  • Re: [Ur] Unexpected type error: "Substitution in constructor is blocked by a too-deep unification variable" Karn Kallio
  • Re: [Ur] Unexpected type error: "Substitution in constructor is blocked by a too-deep unification variable" Adam Chlipala
• [Ur] Compiler Bug? Karn Kallio
  • Re: [Ur] Compiler Bug? Adam Chlipala
• [Ur] [PATCH] Remove stray reference to libmhash Karn Kallio
• [Ur] Announcing an OpenID library Adam Chlipala
  • Re: [Ur] Announcing an OpenID library Marc Weber
• [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
• [Ur] Anyone up for some paid work? Adam Chlipala
• [Ur] segmentation fault when inserting 10000 instead of 1000 rows? Marc Weber
  • Re: [Ur] segmentation fault when inserting 10000 instead of 1000 rows? Marc Weber
  • Re: [Ur] segmentation fault when inserting 10000 instead of 1000 rows? Marc Weber
  • Re: [Ur] segmentation fault when inserting 10000 instead of 1000 rows? Adam Chlipala
  • [Ur] Could we prevent most segmentation faults caused by stack overflows this way? Marc Weber
  • Re: [Ur] Could we prevent most segmentation faults caused by stack overflows this way? Adam Chlipala
  • Re: [Ur] Could we prevent most segmentation faults caused by stack overflows this way? Karn Kallio
• [Ur] little benchmark on querying a table only Marc Weber
  • Re: [Ur] little benchmark on querying a table only Gian Perrone
  • Re: [Ur] little benchmark on querying a table only Marc Weber
  • Re: [Ur] little benchmark on querying a table only Gian Perrone
  • Re: [Ur] little benchmark on querying a table only Marc Weber
  • Re: [Ur] little benchmark on querying a table only Chris Double
  • Re: [Ur] little benchmark on querying a table only Chris Double
  • Re: [Ur] little benchmark on querying a table only Marc Weber
  • Re: [Ur] little benchmark on querying a table only Marc Weber
  • Re: [Ur] little benchmark on querying a table only Marc Weber
  • Re: [Ur] little benchmark on querying a table only Gian Perrone
  • Re: [Ur] little benchmark on querying a table only Adam Chlipala
  • Re: [Ur] little benchmark on querying a table only Adam Chlipala
  • Re: [Ur] little benchmark on querying a table only Adam Chlipala
• [Ur] simple example about constructing rects - guarded types? Marc Weber
  • Re: [Ur] simple example about constructing rects - guarded types? Adam Chlipala
  • Re: [Ur] simple example about constructing rects - guarded types? Marc Weber
  • Re: [Ur] simple example about constructing rects - guarded types? Adam Chlipala
  • Re: [Ur] simple example about constructing rects - guarded types? Marc Weber
  • Re: [Ur] simple example about constructing rects - guarded types? Adam Chlipala
  • Re: [Ur] simple example about constructing rects - guarded types? Adam Chlipala
• [Ur] Wiki: Polymorphic_Variants_Usage_Example Marc Weber
  • Re: [Ur] Wiki: Polymorphic_Variants_Usage_Example Adam Chlipala
• [Ur] Server threads? Chris Double
  • Re: [Ur] Server threads? Adam Chlipala
  • Re: [Ur] Server threads? Chris Double
  • Re: [Ur] Server threads? Marc Weber
  • Re: [Ur] Server threads? Adam Chlipala
  • Re: [Ur] Server threads? Chris Double
• [Ur] How to implement top-level id function f a = a ? Marc Weber
  • Re: [Ur] How to implement top-level id function f a = a ? Adam Chlipala
  • Re: [Ur] How to implement top-level id function f a = a ? Marc Weber
  • Re: [Ur] How to implement top-level id function f a = a ? Adam Chlipala
• [Ur] SQL error using sqlite Chris Double
  • Re: [Ur] SQL error using sqlite Marc Weber
  • Re: [Ur] SQL error using sqlite Adam Chlipala
  • Re: [Ur] SQL error using sqlite Marc Weber
  • Re: [Ur] SQL error using sqlite Adam Chlipala
• [Ur] Handling POST requests that aren't from forms Chris Double
  • Re: [Ur] Handling POST requests that aren't from forms Adam Chlipala
  • Re: [Ur] Handling POST requests that aren't from forms Chris Double
  • Re: [Ur] Handling POST requests that aren't from forms Adam Chlipala
  • Re: [Ur] Handling POST requests that aren't from forms Chris Double
  • Re: [Ur] Handling POST requests that aren't from forms Adam Chlipala
  • Re: [Ur] Handling POST requests that aren't from forms Chris Double
  • Re: [Ur] Handling POST requests that aren't from forms Adam Chlipala
  • Re: [Ur] Handling POST requests that aren't from forms Marc Weber
  • Re: [Ur] Handling POST requests that aren't from forms Marc Weber
  • Re: [Ur] Handling POST requests that aren't from forms Chris Double
• [Ur] CMS like features ? unsafe XML - encodings? Marc Weber
  • Re: [Ur] CMS like features ? unsafe XML - encodings? Adam Chlipala
  • Re: [Ur] CMS like features ? unsafe XML - encodings? Adam Chlipala
  • Re: [Ur] CMS like features ? unsafe XML - encodings? Marc Weber
  • Re: [Ur] CMS like features ? unsafe XML - encodings? Adam Chlipala
  • Re: [Ur] CMS like features ? unsafe XML - encodings? Chris Double
  • Re: [Ur] CMS like features ? unsafe XML - encodings? Marc Weber
  • Re: [Ur] CMS like features ? unsafe XML - encodings? Chris Double
  • Re: [Ur] CMS like features ? unsafe XML - encodings? Adam Chlipala
  • Re: [Ur] CMS like features ? unsafe XML - encodings? Adam Chlipala
• [Ur] json implementation - need some help understanding what's happening here? Marc Weber
  • Re: [Ur] json implementation - need some help understanding what's happening here? Marc Weber
  • Re: [Ur] json implementation - need some help understanding what's happening here? Adam Chlipala
• [Ur] New library repositories Adam Chlipala
• [Ur] --- operator Marc Weber
  • Re: [Ur] --- operator Adam Chlipala
• [Ur] sanity checking Karn Kallio
  • Re: [Ur] sanity checking Adam Chlipala
  • Re: [Ur] sanity checking Marc Weber
  • Re: [Ur] sanity checking Marc Weber
  • Re: [Ur] sanity checking Adam Chlipala
  • Re: [Ur] sanity checking Karn Kallio
  • Re: [Ur] sanity checking Adam Chlipala
  • Re: [Ur] sanity checking Karn Kallio
  • Re: [Ur] sanity checking Adam Chlipala
• [Ur] what about adding short documentation to core library (.urs files) Marc Weber

• Earlier messages
• Later messages