ur  

Messages by Date

• 2011/10/27 Re: [Ur] common type for different functor instantiations Gergely Buday
• 2011/10/27 Re: [Ur] Name concatenation Adam Chlipala
• 2011/10/27 [Ur] Name concatenation Ron de Bruijn
• 2011/10/26 Re: [Ur] common type for different functor instantiations Adam Chlipala
• 2011/10/26 [Ur] common type for different functor instantiations Gergely Buday
• 2011/10/25 Re: [Ur] Empty con illegal? Adam Chlipala
• 2011/10/25 [Ur] Empty con illegal? Ron de Bruijn
• 2011/10/25 Re: [Ur] very long error messages Adam Chlipala
• 2011/10/24 [Ur] very long error messages Gergely Buday
• 2011/10/22 Re: [Ur] project to a fieldname list Adam Chlipala
• 2011/10/21 Re: [Ur] project to a fieldname list Gergely Buday
• 2011/10/21 Re: [Ur] project to a fieldname list Adam Chlipala
• 2011/10/21 [Ur] project to a fieldname list Gergely Buday
• 2011/10/21 Re: [Ur] using argument's field name in a functor signature Gergely Buday
• 2011/10/21 Re: [Ur] Compiler bug Adam Chlipala
• 2011/10/21 Re: [Ur] using argument's field name in a functor signature Adam Chlipala
• 2011/10/21 [Ur] using argument's field name in a functor signature Gergely Buday
• 2011/10/18 [Ur] Compiler bug Ron de Bruijn
• 2011/10/17 Re: [Ur] function and signature Adam Chlipala
• 2011/10/17 Re: [Ur] function and signature Gergely Buday
• 2011/10/17 [Ur] function and signature Gergely Buday
• 2011/10/17 Re: [Ur] Float to Int conversion Adam Chlipala
• 2011/10/17 [Ur] Float to Int conversion Ron de Bruijn
• 2011/10/13 Re: [Ur] Polymorphic function types? Adam Chlipala
• 2011/10/13 [Ur] Polymorphic function types? Ron de Bruijn
• 2011/10/13 Re: [Ur] record expression Adam Chlipala
• 2011/10/13 Re: [Ur] record expression Gergely Buday
• 2011/10/13 Re: [Ur] Ur/Web vs Haskell Adam Chlipala
• 2011/10/13 Re: [Ur] record expression Adam Chlipala
• 2011/10/13 [Ur] record expression Gergely Buday
• 2011/10/13 [Ur] Ur/Web vs Haskell Ron de Bruijn
• 2011/10/12 Re: [Ur] Repeated datatype declarations Adam Chlipala
• 2011/10/12 Re: [Ur] Repeated datatype declarations Ron de Bruijn
• 2011/10/12 Re: [Ur] Deriving show instances Adam Chlipala
• 2011/10/12 Re: [Ur] Repeated datatype declarations Adam Chlipala
• 2011/10/12 [Ur] Deriving show instances Ron de Bruijn
• 2011/10/12 Re: [Ur] Repeated datatype declarations Ron de Bruijn
• 2011/10/12 Re: [Ur] Repeated datatype declarations Gergely Buday
• 2011/10/12 [Ur] Repeated datatype declarations Ron de Bruijn
• 2011/10/08 [Ur] Comparison with OPA Adam Chlipala
• 2011/10/08 Re: [Ur] Compiling code at runtime Anand Patil
• 2011/10/08 Re: [Ur] Compiling code at runtime Adam Chlipala
• 2011/10/08 Re: [Ur] Compiling code at runtime Marc Weber
• 2011/10/08 Re: [Ur] Compiling code at runtime Anand Patil
• 2011/10/07 Re: [Ur] Compiling code at runtime Adam Chlipala
• 2011/10/07 Re: [Ur] Compiling code at runtime Marc Weber
• 2011/10/07 [Ur] Compiling code at runtime Anand Patil
• 2011/10/03 Re: [Ur] type system expressivity Adam Chlipala
• 2011/10/03 Re: [Ur] type system expressivity Gergely Buday
• 2011/10/03 Re: [Ur] type system expressivity Adam Chlipala
• 2011/10/01 [Ur] type system expressivity Gergely Buday
• 2011/09/29 Re: [Ur] using mapR Adam Chlipala
• 2011/09/29 Re: [Ur] using mapR Gergely Buday
• 2011/09/29 Re: [Ur] using mapR Adam Chlipala
• 2011/09/29 [Ur] using mapR Gergely Buday
• 2011/09/28 Re: [Ur] sourcing a record Adam Chlipala
• 2011/09/28 Re: [Ur] Basic file operations Adam Chlipala
• 2011/09/28 Re: [Ur] Basic file operations Gian Perrone
• 2011/09/28 [Ur] Basic file operations Ron de Bruijn
• 2011/09/27 Re: [Ur] sourcing a record Gergely Buday
• 2011/09/27 Re: [Ur] sourcing a record Adam Chlipala
• 2011/09/27 [Ur] sourcing a record Gergely Buday
• 2011/09/24 Re: [Ur] HTML5 support (was: Re: PATCH: <progress> tag) Karn Kallio
• 2011/09/24 Re: [Ur] HTML5 support (was: Re: PATCH: <progress> tag) Adam Chlipala
• 2011/09/24 Re: [Ur] PATCH: add an URWEB_PQ_CON environment variable to override PostgreSQL connection string austin seipp
• 2011/09/24 [Ur] HTML5 support (was: Re: PATCH: <progress> tag) austin seipp
• 2011/09/24 Re: [Ur] Moving channel/client ID generation from the runtime into the database and/or compiler? Adam Chlipala
• 2011/09/24 Re: [Ur] Moving channel/client ID generation from the runtime into the database and/or compiler? Adam Koprowski
• 2011/09/24 Re: [Ur] PATCH: add inlineScript directive Adam Chlipala
• 2011/09/24 Re: [Ur] PATCH: add inlineScript directive austin seipp
• 2011/09/24 Re: [Ur] PATCH: add an URWEB_PQ_CON environment variable to override PostgreSQL connection string austin seipp
• 2011/09/24 Re: [Ur] Moving channel/client ID generation from the runtime into the database and/or compiler? Adam Chlipala
• 2011/09/24 Re: [Ur] Moving channel/client ID generation from the runtime into the database and/or compiler? Gergely Buday
• 2011/09/24 Re: [Ur] PATCH: add an URWEB_PQ_CON environment variable to override PostgreSQL connection string Adam Chlipala
• 2011/09/24 Re: [Ur] Moving channel/client ID generation from the runtime into the database and/or compiler? Adam Chlipala
• 2011/09/24 Re: [Ur] PATCH: <progress> tag Adam Chlipala
• 2011/09/24 Re: [Ur] PATCH: add inlineScript directive Adam Chlipala
• 2011/09/23 [Ur] PATCH: add an URWEB_PQ_CON environment variable to override PostgreSQL connection string austin seipp
• 2011/09/23 [Ur] Moving channel/client ID generation from the runtime into the database and/or compiler? austin seipp
• 2011/09/23 Re: [Ur] anonymous function remains Gergely Buday
• 2011/09/23 Re: [Ur] anonymous function remains Adam Chlipala
• 2011/09/23 [Ur] anonymous function remains Gergely Buday
• 2011/09/22 [Ur] PATCH: <progress> tag austin seipp
• 2011/09/21 Re: [Ur] PATCH: add inlineScript directive austin seipp
• 2011/09/20 Re: [Ur] Ur/Web and document validation David LaPalomento
• 2011/09/20 Re: [Ur] Ur/Web and document validation Adam Chlipala
• 2011/09/20 Re: [Ur] Ur/Web and document validation Adam Chlipala
• 2011/09/20 [Ur] Ur/Web and document validation David LaPalomento
• 2011/09/20 Re: [Ur] New release austin seipp
• 2011/09/20 Re: [Ur] onload attribute austin seipp
• 2011/09/20 [Ur] onload attribute Gergely Buday
• 2011/09/20 Re: [Ur] Variable record projection using free variables Adam Chlipala
• 2011/09/20 [Ur] Variable record projection using free variables Ron de Bruijn
• 2011/09/17 [Ur] New release Adam Chlipala
• 2011/09/15 Re: [Ur] show t Adam Chlipala
• 2011/09/15 Re: [Ur] show t Gergely Buday
• 2011/09/14 Re: [Ur] show t Adam Chlipala
• 2011/09/14 [Ur] show t Gergely Buday
• 2011/09/07 Re: [Ur] hash table? Adam Chlipala
• 2011/09/07 [Ur] hash table? Gergely Buday
• 2011/09/07 Re: [Ur] equality types and xml Adam Chlipala
• 2011/09/07 [Ur] equality types and xml Gergely Buday
• 2011/09/06 Re: [Ur] emacs mode Adam Chlipala
• 2011/09/06 Re: [Ur] emacs mode Gergely Buday
• 2011/09/06 Re: [Ur] emacs mode Adam Chlipala
• 2011/09/06 [Ur] emacs mode Gergely Buday
• 2011/09/05 Re: [Ur] how to use conditions in monads? Adam Chlipala
• 2011/09/05 Re: [Ur] how to use conditions in monads? Vladimir Shabanov
• 2011/09/05 Re: [Ur] how to use conditions in monads? Adam Chlipala
• 2011/09/05 Re: [Ur] displaying source t Adam Chlipala
• 2011/09/05 Re: [Ur] how to use conditions in monads? Gergely Buday
• 2011/09/05 Re: [Ur] displaying source t Gergely Buday
• 2011/09/05 [Ur] displaying source t Gergely Buday
• 2011/09/04 Re: [Ur] PATCH: add inlineScript directive Adam Chlipala
• 2011/09/03 Re: [Ur] PATCH: add inlineScript directive Adam Chlipala
• 2011/09/03 [Ur] PATCH: add inlineScript directive austin seipp
• 2011/09/03 Re: [Ur] Abstract type for 'id' attributes? Adam Chlipala
• 2011/09/02 Re: [Ur] how to use conditions in monads? Vladimir Shabanov
• 2011/09/02 [Ur] how to use conditions in monads? Gergely Buday
• 2011/09/02 Re: [Ur] server side threads? Adam Chlipala
• 2011/09/01 [Ur] server side threads? Gergely Buday
• 2011/09/01 Re: [Ur] list syntax Adam Chlipala
• 2011/09/01 [Ur] list syntax Gergely Buday
• 2011/08/31 Re: [Ur] Abstract type for 'id' attributes? Adam Chlipala
• 2011/08/31 Re: [Ur] standard library Vladimir Shabanov
• 2011/08/31 [Ur] standard library Gergely Buday
• 2011/08/31 Re: [Ur] {} Adam Chlipala
• 2011/08/30 Re: [Ur] {} Gergely Buday
• 2011/08/30 Re: [Ur] Abstract type for 'id' attributes? Karn Kallio
• 2011/08/30 [Ur] Abstract type for 'id' attributes? Adam Chlipala
• 2011/08/30 Re: [Ur] {} Adam Chlipala
• 2011/08/30 [Ur] {} Gergely Buday
• 2011/08/24 Re: [Ur] typing bind Gergely Buday
• 2011/08/24 Re: [Ur] typing bind Adam Chlipala
• 2011/08/24 Re: [Ur] typing bind Gergely Buday
• 2011/08/18 Re: [Ur] typing bind Sebastian Hungerecker
• 2011/08/18 Re: [Ur] typing bind Gergely Buday
• 2011/08/18 Re: [Ur] typing bind Adam Chlipala
• 2011/08/18 [Ur] typing bind Gergely Buday
• 2011/08/18 Re: [Ur] the Unit kind Adam Chlipala
• 2011/08/18 Re: [Ur] the Unit kind Gergely Buday
• 2011/08/17 Re: [Ur] the Unit kind Adam Chlipala
• 2011/08/16 [Ur] the Unit kind Gergely Buday
• 2011/08/12 Re: [Ur] Ur reference manual and XML Adam Chlipala
• 2011/08/12 [Ur] Ur reference manual and XML Vasili I. Galchin
• 2011/08/12 Re: [Ur] blog post on fold function Adam Chlipala
• 2011/08/12 Re: [Ur] SQL query generation Vladimir Shabanov
• 2011/08/11 Re: [Ur] SQL query generation Adam Chlipala
• 2011/08/11 [Ur] blog post on fold function hao deng
• 2011/08/11 Re: [Ur] SQL query generation hao deng
• 2011/08/11 [Ur] SQL query generation Vladimir Shabanov
• 2011/08/11 Re: [Ur] serialized vs. sql_injectable_prim Adam Chlipala
• 2011/08/11 [Ur] serialized vs. sql_injectable_prim Gergely Buday
• 2011/08/09 Re: [Ur] Maybe Monad ( option monad) or list monad in Ur Adam Chlipala
• 2011/08/09 Re: [Ur] Maybe Monad ( option monad) or list monad in Ur hao deng
• 2011/08/07 [Ur] Calling all Emacs wizards Adam Chlipala
• 2011/08/06 Re: [Ur] Maybe Monad ( option monad) or list monad in Ur Vitaliy Akimov
• 2011/08/06 Re: [Ur] Maybe Monad ( option monad) or list monad in Ur Adam Chlipala
• 2011/08/06 Re: [Ur] Maybe Monad ( option monad) or list monad in Ur austin seipp
• 2011/08/06 Re: [Ur] Maybe Monad ( option monad) or list monad in Ur Marc Weber
• 2011/08/05 [Ur] Maybe Monad ( option monad) or list monad in Ur hao deng
• 2011/08/05 Re: [Ur] tricks to find type of a function? Adam Chlipala
• 2011/08/05 [Ur] tricks to find type of a function? hao deng
• 2011/08/05 Re: [Ur] multicore compilation Adam Chlipala
• 2011/08/05 [Ur] multicore compilation Gergely Buday
• 2011/08/02 Re: [Ur] PATCH: -version flags for urweb compiler austin seipp
• 2011/08/02 Re: [Ur] PATCH: -version flags for urweb compiler Adam Chlipala
• 2011/08/02 Re: [Ur] PATCH: -version flags for urweb compiler austin seipp
• 2011/08/02 Re: [Ur] PATCH: -version flags for urweb compiler austin seipp
• 2011/08/02 Re: [Ur] PATCH: -version flags for urweb compiler Adam Chlipala
• 2011/08/02 Re: [Ur] big string block in ur? Adam Chlipala
• 2011/08/01 Re: [Ur] big string block in ur? hao deng
• 2011/08/01 [Ur] big string block in ur? hao deng
• 2011/07/31 Re: [Ur] Ur and full dependent types system Adam Chlipala
• 2011/07/31 [Ur] Ur/Web talk at Hac Phi austin seipp
• 2011/07/31 [Ur] Ur and full dependent types system Alexander Gryzlov
• 2011/07/24 Re: [Ur] PATCH: -version flags for urweb compiler austin seipp
• 2011/07/24 [Ur] PATCH: -version flags for urweb compiler austin seipp
• 2011/07/23 Re: [Ur] maybe I missed something regarding .urp files Adam Chlipala
• 2011/07/23 [Ur] maybe I missed something regarding .urp files Vasili I. Galchin
• 2011/07/22 Re: [Ur] 4th day on working on "demo" Adam Chlipala
• 2011/07/21 Re: [Ur] 4th day on working on "demo" Marc Weber
• 2011/07/21 [Ur] 4th day on working on "demo" Vasili I. Galchin
• 2011/07/21 Re: [Ur] "doxygen" Adam Chlipala
• 2011/07/20 [Ur] "doxygen" Vasili I. Galchin
• 2011/07/20 Re: [Ur] 3rd day on Ur tutorial Adam Chlipala
• 2011/07/20 Re: [Ur] 3rd day on Ur tutorial Gian Perrone
• 2011/07/20 Re: [Ur] 3rd day on Ur tutorial Adam Chlipala
• 2011/07/19 Re: [Ur] 3rd day on Ur tutorial Gergely Buday
• 2011/07/19 [Ur] 3rd day on Ur tutorial Vasili I. Galchin
• 2011/07/19 Re: [Ur] openid fails to build on OS X Adam Chlipala
• 2011/07/19 Re: [Ur] my 2nd day on UR .... chomping my way through Ur/Web tutorial .... Adam Chlipala
• 2011/07/19 Re: [Ur] my 2nd day on UR .... chomping my way through Ur/Web tutorial .... Gergely Buday
• 2011/07/19 [Ur] my 2nd day on UR .... chomping my way through Ur/Web tutorial .... Vasili I. Galchin
• 2011/07/18 Re: [Ur] openid fails to build on OS X austin seipp
• 2011/07/18 Re: [Ur] hiccups with tutorial ... Adam Chlipala
• 2011/07/17 Re: [Ur] hiccups with tutorial ... Gergely Buday
• 2011/07/17 Re: [Ur] hiccups with tutorial ... Chris Double
• 2011/07/17 Re: [Ur] hiccups with tutorial ... Vasili I. Galchin
• 2011/07/17 Re: [Ur] hiccups with tutorial ... Karn Kallio

• Earlier messages
• Later messages