ur  

Messages by Thread

• • Re: [Ur] using mapR Gergely Buday
  • Re: [Ur] using mapR Adam Chlipala
• [Ur] Basic file operations Ron de Bruijn
  • Re: [Ur] Basic file operations Gian Perrone
  • Re: [Ur] Basic file operations Adam Chlipala
• [Ur] sourcing a record Gergely Buday
  • Re: [Ur] sourcing a record Adam Chlipala
  • Re: [Ur] sourcing a record Gergely Buday
  • Re: [Ur] sourcing a record Adam Chlipala
• [Ur] HTML5 support (was: Re: PATCH: <progress> tag) austin seipp
  • Re: [Ur] HTML5 support (was: Re: PATCH: <progress> tag) Adam Chlipala
  • Re: [Ur] HTML5 support (was: Re: PATCH: <progress> tag) Karn Kallio
• [Ur] PATCH: add an URWEB_PQ_CON environment variable to override PostgreSQL connection string austin seipp
  • Re: [Ur] PATCH: add an URWEB_PQ_CON environment variable to override PostgreSQL connection string Adam Chlipala
  • Re: [Ur] PATCH: add an URWEB_PQ_CON environment variable to override PostgreSQL connection string austin seipp
  • Re: [Ur] PATCH: add an URWEB_PQ_CON environment variable to override PostgreSQL connection string austin seipp
• [Ur] Moving channel/client ID generation from the runtime into the database and/or compiler? austin seipp
  • Re: [Ur] Moving channel/client ID generation from the runtime into the database and/or compiler? Adam Chlipala
  • Re: [Ur] Moving channel/client ID generation from the runtime into the database and/or compiler? Gergely Buday
  • Re: [Ur] Moving channel/client ID generation from the runtime into the database and/or compiler? Adam Chlipala
  • Re: [Ur] Moving channel/client ID generation from the runtime into the database and/or compiler? Adam Koprowski
  • Re: [Ur] Moving channel/client ID generation from the runtime into the database and/or compiler? Adam Chlipala
• [Ur] anonymous function remains Gergely Buday
  • Re: [Ur] anonymous function remains Adam Chlipala
  • Re: [Ur] anonymous function remains Gergely Buday
• [Ur] PATCH: <progress> tag austin seipp
  • Re: [Ur] PATCH: <progress> tag Adam Chlipala
• [Ur] Ur/Web and document validation David LaPalomento
  • Re: [Ur] Ur/Web and document validation Adam Chlipala
  • Re: [Ur] Ur/Web and document validation Adam Chlipala
  • Re: [Ur] Ur/Web and document validation David LaPalomento
• [Ur] onload attribute Gergely Buday
  • Re: [Ur] onload attribute austin seipp
• [Ur] Variable record projection using free variables Ron de Bruijn
  • Re: [Ur] Variable record projection using free variables Adam Chlipala
• [Ur] show t Gergely Buday
  • Re: [Ur] show t Adam Chlipala
  • Re: [Ur] show t Gergely Buday
  • Re: [Ur] show t Adam Chlipala
• [Ur] hash table? Gergely Buday
  • Re: [Ur] hash table? Adam Chlipala
• [Ur] equality types and xml Gergely Buday
  • Re: [Ur] equality types and xml Adam Chlipala
• [Ur] emacs mode Gergely Buday
  • Re: [Ur] emacs mode Adam Chlipala
  • Re: [Ur] emacs mode Gergely Buday
  • Re: [Ur] emacs mode Adam Chlipala
• [Ur] displaying source t Gergely Buday
  • Re: [Ur] displaying source t Gergely Buday
  • Re: [Ur] displaying source t Adam Chlipala
• [Ur] PATCH: add inlineScript directive austin seipp
  • Re: [Ur] PATCH: add inlineScript directive Adam Chlipala
  • Re: [Ur] PATCH: add inlineScript directive Adam Chlipala
  • Re: [Ur] PATCH: add inlineScript directive austin seipp
  • Re: [Ur] PATCH: add inlineScript directive Adam Chlipala
  • Re: [Ur] PATCH: add inlineScript directive austin seipp
  • Re: [Ur] PATCH: add inlineScript directive Adam Chlipala
• [Ur] how to use conditions in monads? Gergely Buday
  • Re: [Ur] how to use conditions in monads? Vladimir Shabanov
  • Re: [Ur] how to use conditions in monads? Gergely Buday
  • Re: [Ur] how to use conditions in monads? Adam Chlipala
  • Re: [Ur] how to use conditions in monads? Vladimir Shabanov
  • Re: [Ur] how to use conditions in monads? Adam Chlipala
• [Ur] server side threads? Gergely Buday
  • Re: [Ur] server side threads? Adam Chlipala
• [Ur] list syntax Gergely Buday
  • Re: [Ur] list syntax Adam Chlipala
• [Ur] standard library Gergely Buday
  • Re: [Ur] standard library Vladimir Shabanov
• [Ur] Abstract type for 'id' attributes? Adam Chlipala
  • Re: [Ur] Abstract type for 'id' attributes? Karn Kallio
  • Re: [Ur] Abstract type for 'id' attributes? Adam Chlipala
  • Re: [Ur] Abstract type for 'id' attributes? Adam Chlipala
• [Ur] {} Gergely Buday
  • Re: [Ur] {} Adam Chlipala
  • Re: [Ur] {} Gergely Buday
  • Re: [Ur] {} Adam Chlipala
• [Ur] typing bind Gergely Buday
  • Re: [Ur] typing bind Adam Chlipala
  • Re: [Ur] typing bind Gergely Buday
  • Re: [Ur] typing bind Sebastian Hungerecker
  • Re: [Ur] typing bind Gergely Buday
  • Re: [Ur] typing bind Adam Chlipala
  • Re: [Ur] typing bind Gergely Buday
• [Ur] the Unit kind Gergely Buday
  • Re: [Ur] the Unit kind Adam Chlipala
  • Re: [Ur] the Unit kind Gergely Buday
  • Re: [Ur] the Unit kind Adam Chlipala
• [Ur] Ur reference manual and XML Vasili I. Galchin
  • Re: [Ur] Ur reference manual and XML Adam Chlipala
• [Ur] blog post on fold function hao deng
  • Re: [Ur] blog post on fold function Adam Chlipala
• [Ur] SQL query generation Vladimir Shabanov
  • Re: [Ur] SQL query generation hao deng
  • Re: [Ur] SQL query generation Adam Chlipala
  • Re: [Ur] SQL query generation Vladimir Shabanov
• [Ur] serialized vs. sql_injectable_prim Gergely Buday
  • Re: [Ur] serialized vs. sql_injectable_prim Adam Chlipala
• [Ur] Calling all Emacs wizards Adam Chlipala
• [Ur] Maybe Monad ( option monad) or list monad in Ur hao deng
  • Re: [Ur] Maybe Monad ( option monad) or list monad in Ur Marc Weber
  • Re: [Ur] Maybe Monad ( option monad) or list monad in Ur austin seipp
  • Re: [Ur] Maybe Monad ( option monad) or list monad in Ur Adam Chlipala
  • Re: [Ur] Maybe Monad ( option monad) or list monad in Ur Vitaliy Akimov
  • Re: [Ur] Maybe Monad ( option monad) or list monad in Ur hao deng
  • Re: [Ur] Maybe Monad ( option monad) or list monad in Ur Adam Chlipala
• [Ur] tricks to find type of a function? hao deng
  • Re: [Ur] tricks to find type of a function? Adam Chlipala
• [Ur] multicore compilation Gergely Buday
  • Re: [Ur] multicore compilation Adam Chlipala
• [Ur] big string block in ur? hao deng
  • Re: [Ur] big string block in ur? hao deng
  • Re: [Ur] big string block in ur? Adam Chlipala
• [Ur] Ur/Web talk at Hac Phi austin seipp
• [Ur] Ur and full dependent types system Alexander Gryzlov
  • Re: [Ur] Ur and full dependent types system Adam Chlipala
• [Ur] PATCH: -version flags for urweb compiler austin seipp
  • Re: [Ur] PATCH: -version flags for urweb compiler austin seipp
  • Re: [Ur] PATCH: -version flags for urweb compiler Adam Chlipala
  • Re: [Ur] PATCH: -version flags for urweb compiler austin seipp
  • Re: [Ur] PATCH: -version flags for urweb compiler austin seipp
  • Re: [Ur] PATCH: -version flags for urweb compiler Adam Chlipala
  • Re: [Ur] PATCH: -version flags for urweb compiler austin seipp
• [Ur] maybe I missed something regarding .urp files Vasili I. Galchin
  • Re: [Ur] maybe I missed something regarding .urp files Adam Chlipala
• [Ur] 4th day on working on "demo" Vasili I. Galchin
  • Re: [Ur] 4th day on working on "demo" Marc Weber
  • Re: [Ur] 4th day on working on "demo" Adam Chlipala
• [Ur] "doxygen" Vasili I. Galchin
  • Re: [Ur] "doxygen" Adam Chlipala
• [Ur] 3rd day on Ur tutorial Vasili I. Galchin
  • Re: [Ur] 3rd day on Ur tutorial Gergely Buday
  • Re: [Ur] 3rd day on Ur tutorial Adam Chlipala
  • Re: [Ur] 3rd day on Ur tutorial Gian Perrone
  • Re: [Ur] 3rd day on Ur tutorial Adam Chlipala
• [Ur] my 2nd day on UR .... chomping my way through Ur/Web tutorial .... Vasili I. Galchin
  • Re: [Ur] my 2nd day on UR .... chomping my way through Ur/Web tutorial .... Gergely Buday
  • Re: [Ur] my 2nd day on UR .... chomping my way through Ur/Web tutorial .... Adam Chlipala
• [Ur] hiccups with tutorial ... Vasili I. Galchin
  • Re: [Ur] hiccups with tutorial ... Karn Kallio
  • Re: [Ur] hiccups with tutorial ... Gergely Buday
  • Re: [Ur] hiccups with tutorial ... Vasili I. Galchin
  • Re: [Ur] hiccups with tutorial ... Chris Double
  • Re: [Ur] hiccups with tutorial ... Adam Chlipala
• [Ur] Beginning of Ur tutorial Adam Chlipala
• [Ur] Binary builds/formula of Ur/Web available for OS X & Homebrew users austin seipp
• [Ur] openid fails to build on OS X austin seipp
  • Re: [Ur] openid fails to build on OS X Robin Green
  • Re: [Ur] openid fails to build on OS X Adam Chlipala
  • Re: [Ur] openid fails to build on OS X austin seipp
  • Re: [Ur] openid fails to build on OS X Adam Chlipala
• [Ur] Project web site facelift! Adam Chlipala
• [Ur] Anyone looking for paid work? Adam Chlipala
• [Ur] Folders as implicit constructor arguments? Robin Green
  • Re: [Ur] Folders as implicit constructor arguments? Adam Chlipala
• [Ur] New wiki page: Rosetta Stone Robin Green
• [Ur] serving css from urweb Zach Tatlock
  • Re: [Ur] serving css from urweb Adam Chlipala
  • Re: [Ur] serving css from urweb Marc Weber
  • Re: [Ur] serving css from urweb Zach Tatlock
  • Re: [Ur] serving css from urweb Adam Chlipala
  • Re: [Ur] serving css from urweb Zach Tatlock
  • Re: [Ur] serving css from urweb Adam Chlipala
  • Re: [Ur] serving css from urweb Zach Tatlock
  • Re: [Ur] serving css from urweb Adam Chlipala
  • Re: [Ur] serving css from urweb Zach Tatlock
  • Re: [Ur] serving css from urweb Karn Kallio
  • Re: [Ur] serving css from urweb Robin Green
  • Re: [Ur] serving css from urweb Zach Tatlock
  • Re: [Ur] serving css from urweb Adam Chlipala
  • Re: [Ur] serving css from urweb Chris Double
• [Ur] Compiling Ur/Web with Link-time optimization (WAS: Re: Patches to compile Ur/Web with clang) austin seipp
  • Re: [Ur] Compiling Ur/Web with Link-time optimization (WAS: Re: Patches to compile Ur/Web with clang) austin seipp
  • Re: [Ur] Compiling Ur/Web with Link-time optimization (WAS: Re: Patches to compile Ur/Web with clang) Adam Chlipala
• [Ur] Patches to compile Ur/Web with clang austin seipp
  • Re: [Ur] Patches to compile Ur/Web with clang Adam Chlipala
  • Re: [Ur] Patches to compile Ur/Web with clang austin seipp
  • Re: [Ur] Patches to compile Ur/Web with clang Adam Chlipala
• [Ur] Performance of Ur/Web in a live site Chris Double
  • Re: [Ur] Performance of Ur/Web in a live site Adam Chlipala
  • Re: [Ur] Performance of Ur/Web in a live site Chris Double
  • Re: [Ur] Performance of Ur/Web in a live site Adam Chlipala
• [Ur] Calling a function when the root / path is requested Chris Double
  • Re: [Ur] Calling a function when the root / path is requested Adam Chlipala
  • Re: [Ur] Calling a function when the root / path is requested Chris Double
  • Re: [Ur] Calling a function when the root / path is requested Adam Chlipala
• [Ur] New Ur/Web application live Chris Double
• [Ur] Indicating failure in uw_register_transactional callbacks Chris Double
  • Re: [Ur] Indicating failure in uw_register_transactional callbacks Adam Chlipala
• [Ur] Anyone able to help performance-debug urweb-mode? Adam Chlipala
• [Ur] Forms and signals Chris Double
  • Re: [Ur] Forms and signals Adam Chlipala
• [Ur] FFI and transactions Robin Green
  • Re: [Ur] FFI and transactions Marc Weber
  • Re: [Ur] FFI and transactions Chris Double
  • Re: [Ur] FFI and transactions Marc Weber
  • Re: [Ur] FFI and transactions Adam Chlipala
  • Re: [Ur] FFI and transactions Robin Green
  • Re: [Ur] FFI and transactions Adam Chlipala
• [Ur] requestHeader Chris Double

• Earlier messages
• Later messages