ur

Messages by Date

2016/04/02 [Ur] Editor Syntax Highlighting, Indentation Yves Cloutier
2016/04/02 [Ur] Sequences Yves Cloutier
2016/04/02 Re: [Ur] Sequences Adam Chlipala
2016/04/02 Re: [Ur] Sequences Ziv Scully
2016/04/01 [Ur] Sequences Yves Cloutier
2016/03/30 Re: [Ur] Error while loading shared libraries: liburweb_http.so.0 Yves Cloutier
2016/03/29 Re: [Ur] Error while loading shared libraries: liburweb_http.so.0 Ziv Scully
2016/03/29 Re: [Ur] Error while loading shared libraries: liburweb_http.so.0 Yves Cloutier
2016/03/29 Re: [Ur] Error while loading shared libraries: liburweb_http.so.0 Benjamin Barenblat
2016/03/29 Re: [Ur] Error while loading shared libraries: liburweb_http.so.0 Adam Chlipala
2016/03/29 Re: [Ur] Error while loading shared libraries: liburweb_http.so.0 Benjamin Barenblat
2016/03/28 [Ur] Error while loading shared libraries: liburweb_http.so.0 Yves Cloutier
2016/03/27 Re: [Ur] Learning Ur with a SimpleApplication Artyom Shalkhakov
2016/03/27 Re: [Ur] Error in final record unification Adam Chlipala
2016/03/27 [Ur] Error in final record unification Yves Cloutier
2016/03/27 Re: [Ur] Learning Ur with a SimpleApplication Yves Cloutier
2016/03/27 [Ur] Learning Ur with a SimpleApplication Yves Cloutier
2016/03/25 Re: [Ur] Ur Digest, Vol 85, Issue 5 Yves Cloutier
2016/03/25 Re: [Ur] Installing From Source Adam Chlipala
2016/03/25 [Ur] Installing From Source Yves Cloutier
2016/03/10 Re: [Ur] Optional URL arguments Artyom Shalkhakov
2016/03/10 Re: [Ur] Optional URL arguments Adam Chlipala
2016/03/09 [Ur] Optional URL arguments Artyom Shalkhakov
2016/03/06 [Ur] New release Adam Chlipala
2016/03/01 Re: [Ur] SQL: renaming tables Artyom Shalkhakov
2016/03/01 Re: [Ur] SQL: renaming tables Adam Chlipala
2016/03/01 [Ur] SQL: renaming tables Artyom Shalkhakov
2016/02/26 Re: [Ur] Ur/Web on Raspbian Adam Chlipala
2016/02/26 Re: [Ur] Ur/Web on Raspbian Karen Sargsyan
2016/02/24 Re: [Ur] Polymorphic datatype needed too late Adam Chlipala
2016/02/24 Re: [Ur] Polymorphic datatype needed too late Benjamin Barenblat
2016/02/23 Re: [Ur] Ur/Web on Raspbian jasonpepas
2016/02/23 Re: [Ur] Ur/Web on Raspbian Adam Chlipala
2016/02/23 Re: [Ur] Ur/Web on Raspbian Austin Seipp
2016/02/23 Re: [Ur] Ur/Web on Raspbian Karen Sargsyan
2016/02/23 Re: [Ur] Ur/Web on Raspbian Evan Danaher
2016/02/23 Re: [Ur] Ur/Web on Raspbian Adam Chlipala
2016/02/23 Re: [Ur] Ur/Web on Raspbian Adrian Thompson
2016/02/23 Re: [Ur] Ur/Web on Raspbian karsar
2016/02/22 Re: [Ur] Ur/Web on Raspbian Sergey Mironov
2016/02/22 [Ur] Ur/Web on Raspbian karsar
2016/02/13 [Ur] Nix-based deployment of Ur/Web application Sergey Mironov
2016/02/13 [Ur] New release Adam Chlipala
2016/02/08 [Ur] Installing urweb via apt-get Yves Cloutier
2016/02/08 [Ur] Installing urweb via apt-get Yves Cloutier
2016/02/08 Re: [Ur] Installing urweb via apt-get Adam Chlipala
2016/02/08 [Ur] Installing urweb via apt-get Yves Cloutier
2016/02/07 Re: [Ur] NixOS package Adam Chlipala
2016/02/05 Re: [Ur] NixOS package Sergey Mironov
2016/02/05 Re: [Ur] NixOS package Sergey Mironov
2016/02/02 Re: [Ur] NixOS package Adam Chlipala
2016/01/28 [Ur] NixOS package Sergey Mironov
2015/12/30 Re: [Ur] runST monad in ur/web Artella Coding
2015/12/29 Re: [Ur] runST monad in ur/web Ziv Scully
2015/12/29 Re: [Ur] runST monad in ur/web Adam Chlipala
2015/12/23 [Ur] runST monad in ur/web Artella Coding
2015/12/23 Re: [Ur] UPO framework - Ui.Make functor Adam Chlipala
2015/12/23 Re: [Ur] UPO framework - Ui.Make functor emil brusic
2015/12/23 Re: [Ur] UPO framework - Ui.Make functor Adam Chlipala
2015/12/23 [Ur] UPO framework - Ui.Make functor emil brusic
2015/12/22 Re: [Ur] Ur/Web on GitHub Adam Chlipala
2015/12/20 Re: [Ur] Ur/Web on GitHub Sergey Mironov
2015/12/20 Re: [Ur] Ur/Web on GitHub jasonpepas
2015/12/20 [Ur] Ur/Web on GitHub Adam Chlipala
2015/12/20 [Ur] New release Adam Chlipala
2015/11/23 [Ur] New round of TechEmpower Web Framework Benchmarks released Adam Chlipala
2015/11/22 Re: [Ur] New release Eran Meir
2015/11/22 Re: [Ur] The right way to do federated login in 2015? Adam Chlipala
2015/11/22 [Ur] New release Adam Chlipala
2015/11/21 Re: [Ur] The right way to do federated login in 2015? 1337 777
2015/11/19 Re: [Ur] The right way to do federated login in 2015? 1337 777
2015/11/06 Re: [Ur] The right way to do federated login in 2015? Sergey Mironov
2015/11/06 Re: [Ur] The right way to do federated login in 2015? Adam Chlipala
2015/11/06 Re: [Ur] Interested in Ur/Web + entrepreneurship? Adam Chlipala
2015/11/06 Re: [Ur] Interested in Ur/Web + entrepreneurship? 1337 777
2015/11/01 Re: [Ur] Installing Ur/Web on Mac OSX (using homebrew) manu delab
2015/10/31 Re: [Ur] Installing Ur/Web on Mac OSX (using homebrew) Adam Chlipala
2015/10/31 Re: [Ur] Installing Ur/Web on Mac OSX (using homebrew) Todd Roth
2015/10/30 Re: [Ur] Installing Ur/Web on Mac OSX (using homebrew) Adam Chlipala
2015/10/25 Re: [Ur] request for review of file save ffi extension Orchidaceae Phalaenopsis
2015/10/25 Re: [Ur] request for review of file save ffi extension Adam Chlipala
2015/10/25 [Ur] request for review of file save ffi extension Orchidaceae Phalaenopsis
2015/10/22 Re: [Ur] The right way to do federated login in 2015? 1337 777
2015/10/22 Re: [Ur] The right way to do federated login in 2015? Adam Chlipala
2015/10/22 Re: [Ur] Ur/Web on ARM? Benjamin Barenblat
2015/10/22 Re: [Ur] Ur/Web on ARM? Evan Danaher
2015/10/21 [Ur] Ur/Web on ARM? Jason Pepas
2015/10/21 [Ur] The right way to do federated login in 2015? Karn Kallio
2015/10/21 Re: [Ur] The right way to do federated login in 2015? Chris Double
2015/10/21 Re: [Ur] The right way to do federated login in 2015? Eran Meir
2015/10/20 [Ur] The right way to do federated login in 2015? Adam Chlipala
2015/10/18 Re: [Ur] New release Eran Meir
2015/10/18 [Ur] New release Adam Chlipala
2015/10/15 [Ur] Interested in Ur/Web + entrepreneurship? Adam Chlipala
2015/10/11 [Ur] Installing Ur/Web on Mac OSX (using homebrew) Eran Meir
2015/10/11 Re: [Ur] New website? Adam Chlipala
2015/09/28 Re: [Ur] [PATCH] Use correct OpenSSL thread safety macros on OS X (closes #209) Benjamin Barenblat
2015/09/28 [Ur] [PATCH] Use correct OpenSSL thread safety macros on OS X (closes #209) Benjamin Barenblat
2015/09/16 Re: [Ur] Anyone want to produce OS X binary packages for Ur/Web? Eran Meir
2015/09/16 Re: [Ur] Minor question about simple Sql demo Stefan Scott
2015/09/16 Re: [Ur] Anyone want to produce OS X binary packages for Ur/Web? Adam Chlipala
2015/09/16 Re: [Ur] Minor question about simple Sql demo Adam Chlipala
2015/09/16 [Ur] Minor question about simple Sql demo Stefan Scott
2015/09/14 Re: [Ur] Anyone want to produce OS X binary packages for Ur/Web? Eran Meir
2015/09/14 Re: [Ur] Anyone want to produce OS X binary packages for Ur/Web? Chris Wilson
2015/09/14 [Ur] Anyone want to produce OS X binary packages for Ur/Web? Adam Chlipala
2015/09/05 Re: [Ur] Unsafe GET and slow message passing Adam Chlipala
2015/09/04 Re: [Ur] Changing a single identifier in crud.ur causes a compiler error - leading to some questions about field names and table names Stefan Scott
2015/09/02 Re: [Ur] Changing a single identifier in crud.ur causes a compiler error - leading to some questions about field names and table names Ziv Scully
2015/09/01 [Ur] Changing a single identifier in crud.ur causes a compiler error - leading to some questions about field names and table names Stefan Scott
2015/08/31 Re: [Ur] Minimal modification to Crud1: Moved a `@foldR` call *before* the `return`, no longer compiles. Stefan Scott
2015/08/31 Re: [Ur] Minimal modification to Crud1: Moved a `@foldR` call *before* the `return`, no longer compiles. Ziv Scully
2015/08/31 [Ur] Minimal modification to Crud1: Moved a `@foldR` call *before* the `return`, no longer compiles. Stefan Scott
2015/08/30 [Ur] Modifying the Crud1 demo: Attempting to change the result type of `Widget` from `xml` to `transaction xml` - Does not compile yet! Stefan Scott
2015/08/29 Re: [Ur] Unsafe GET and slow message passing Ziv Scully
2015/08/29 Re: [Ur] Unsafe GET and slow message passing Adam Chlipala
2015/08/28 [Ur] Unsafe GET and slow message passing Ziv Scully
2015/08/21 Re: [Ur] Correct way to use "computed table names" `{{c}}` & "computed field names" `{c}` in functions? Adam Chlipala
2015/08/20 [Ur] Correct way to use "computed table names" `{{c}}` & "computed field names" `{c}` in functions? Stefan Scott
2015/08/20 Re: [Ur] Parameter to specify a web-application's port, at compile-time and/or at run-time? Adam Chlipala
2015/08/20 [Ur] Parameter to specify a web-application's port, at compile-time and/or at run-time? Stefan Scott
2015/08/19 [Ur] New release Adam Chlipala
2015/08/19 Re: [Ur] Working demo: Filtering a list of English words using <ctextbox>, source, signal and SQL LIKE Sergey Mironov
2015/08/18 [Ur] Working demo: Filtering a list of English words using <ctextbox>, source, signal and SQL LIKE Stefan Scott
2015/08/18 Re: [Ur] "Bare-bones" deployment *without* the compiler - eg, manually copy just the /usr/local/libliburweb_* files to the *remote* machine? Adam Chlipala
2015/08/17 Re: [Ur] "Bare-bones" deployment *without* the compiler - eg, manually copy just the /usr/local/libliburweb_* files to the *remote* machine? Stefan Scott Alexander
2015/08/17 Re: [Ur] "Bare-bones" deployment *without* the compiler - eg, manually copy just the /usr/local/libliburweb_* files to the *remote* machine? Stefan Scott Alexander
2015/08/17 Re: [Ur] "Bare-bones" deployment *without* the compiler - eg, manually copy just the /usr/local/libliburweb_* files to the *remote* machine? Stefan Scott Alexander
2015/08/17 Re: [Ur] "Bare-bones" deployment *without* the compiler - eg, manually copy just the /usr/local/libliburweb_* files to the *remote* machine? Stefan Scott Alexander
2015/08/17 Re: [Ur] "Bare-bones" deployment *without* the compiler - eg, manually copy just the /usr/local/libliburweb_* files to the *remote* machine? Adam Chlipala
2015/08/17 [Ur] "Bare-bones" deployment *without* the compiler - eg, manually copy just the /usr/local/libliburweb_* files to the *remote* machine? Stefan Scott Alexander
2015/08/17 Re: [Ur] Interplay between the signal monad and the transaction monad Stefan Scott Alexander
2015/08/17 Re: [Ur] Interplay between the signal monad and the transaction monad Adam Chlipala
2015/08/16 [Ur] Interplay between the signal monad and the transaction monad Stefan Scott Alexander
2015/08/16 Re: [Ur] Simple example using source / signal to filter a recordset using a <ctextbox> and SQL `WHERE ... LIKE` - Getting compile error `Have: xml` vs `Need: transaction` [SOLVED] Stefan Scott Alexander
2015/08/15 [Ur] Simple example using source / signal to filter a recordset using a <ctextbox> and SQL `WHERE ... LIKE` - Getting compile error `Have: xml` vs `Need: transaction` Stefan Scott Alexander
2015/08/15 Re: [Ur] [PATCH] Add .clang-format style file; run clang-format Adam Chlipala
2015/08/15 Re: [Ur] [PATCH] Add .clang-format style file; run clang-format Benjamin Barenblat
2015/08/15 Re: [Ur] Learning the basics Adam Chlipala
2015/08/15 Re: [Ur] [PATCH] Add .clang-format style file; run clang-format Adam Chlipala
2015/08/15 Re: [Ur] SQL `LIKE` operator? Adam Chlipala
2015/08/14 [Ur] SQL `LIKE` operator? Stefan Scott Alexander
2015/08/14 Re: [Ur] Looking for a minimal example using source / signal - eg, User types into a textbox, changes appear below in an <xml> fragment Stefan Scott Alexander
2015/08/14 Re: [Ur] Looking for a minimal example using source / signal - eg, User types into a textbox, changes appear below in an <xml> fragment Adam Chlipala
2015/08/13 [Ur] Looking for a minimal example using source / signal - eg, User types into a textbox, changes appear below in an <xml> fragment Stefan Scott Alexander
2015/08/10 Re: [Ur] When testing the new wrapper for the Pikaday datepicker, adding another <textbox> makes the tag <body onload={...}> stop working [SOLVED] Stefan Scott Alexander
2015/08/10 Re: [Ur] Learning the basics Yves Cloutier
2015/08/10 Re: [Ur] New website? Adam Chlipala
2015/08/10 Re: [Ur] New website? Sergey Mironov
2015/08/10 Re: [Ur] new dequeue library Sergey Mironov
2015/08/09 Re: [Ur] When testing the new wrapper for the Pikaday datepicker, adding another <textbox> makes the tag <body onload={...}> stop working Stefan Scott Alexander
2015/08/09 Re: [Ur] New website? Timothy Beyer
2015/08/09 [Ur] When testing the new wrapper for the Pikaday datepicker, adding another <textbox> makes the tag <body onload={...}> stop working Stefan Scott Alexander
2015/08/09 [Ur] When testing the new wrapper for the Pikaday datepicker, adding another <textbox> makes the tag <body onload={...}> stop working Stefan Scott Alexander
2015/08/09 Re: [Ur] [PATCH] Add .clang-format style file; run clang-format Benjamin Barenblat
2015/08/09 [Ur] When testing the new wrapper for the Pikaday datepicker, adding another <textbox> makes the tag <body onload={...}> stop working Stefan Scott Alexander
2015/08/09 Re: [Ur] New website? Adam Chlipala
2015/08/09 Re: [Ur] [PATCH] Add .clang-format style file; run clang-format Adam Chlipala
2015/08/09 Re: [Ur] New website? Adam Chlipala
2015/08/09 Re: [Ur] Learning the basics Adam Chlipala
2015/08/09 [Ur] new dequeue library Gabriel Riba
2015/08/09 Re: [Ur] New website? Timothy Beyer
2015/08/08 [Ur] Learning the basics Arctic Commander
2015/08/08 [Ur] New attempt to wrap a simple JS datepicker library (Pikaday) to use with Ur/Web Stefan Scott Alexander
2015/08/07 Re: [Ur] New attempt to wrap a simple JS datepicker library (Pikaday) to use with Ur/Web Istvan Chung
2015/08/07 Re: [Ur] New attempt to wrap a simple JS datepicker library (Pikaday) to use with Ur/Web Ziv Scully
2015/08/07 [Ur] New attempt to wrap a simple JS datepicker library (Pikaday) to use with Ur/Web Stefan Scott Alexander
2015/08/06 Re: [Ur] New attempt to wrap a simple JS datepicker library (Pikaday) to use with Ur/Web Ziv Scully
2015/08/06 [Ur] New attempt to wrap a simple JS datepicker library (Pikaday) to use with Ur/Web Stefan Scott Alexander
2015/08/06 Re: [Ur] New attempt to wrap a simple JS datepicker library (Pikaday) to use with Ur/Web Ziv Scully
2015/08/06 [Ur] New attempt to wrap a simple JS datepicker library (Pikaday) to use with Ur/Web Stefan Scott Alexander
2015/08/06 [Ur] Minimal example generating a node id with fresh and using it in a form handler Stefan Scott Alexander
2015/08/06 Re: [Ur] New website? Istvan Chung
2015/08/06 Re: [Ur] New website? Sergey Mironov
2015/08/06 Re: [Ur] New website? Sergey Mironov
2015/08/06 [Ur] [PATCH] Add .clang-format style file; run clang-format Benjamin Barenblat
2015/08/06 [Ur] Minimal example generating a node id with fresh and using it in a form handler Stefan Scott Alexander
2015/08/06 Re: [Ur] datebox.urp - compiler errors: "unification failure" Adam Chlipala
2015/08/06 Re: [Ur] New website? Adam Chlipala
2015/08/06 Re: [Ur] [PATCH] Make OpenSSL usage thread-safe (closes #206) Benjamin Barenblat
2015/08/06 [Ur] [PATCH] Make OpenSSL usage thread-safe (closes #206) Benjamin Barenblat
2015/08/03 [Ur] Minimal attempt to wrap a datepicker library (Pikaday). What do I put in js.urs ? Stefan Scott Alexander
2015/08/03 [Ur] An initial wild guess attempting to wrap a Bootstrap DatePicker for Ur/Web Stefan Scott Alexander
2015/08/03 [Ur] [Bug #206] Steer clear of urweb-crypto-random-openssl Benjamin Barenblat
2015/08/02 Re: [Ur] DatePicker? Timothy Beyer
2015/08/02 Re: [Ur] An initial wild guess attempting to wrap a Bootstrap DatePicker for Ur/Web Timothy Beyer
2015/08/02 Re: [Ur] An initial wild guess attempting to wrap a Bootstrap DatePicker for Ur/Web Ziv Scully
2015/08/02 Re: [Ur] An initial wild guess attempting to wrap a Bootstrap DatePicker for Ur/Web Timothy Beyer
2015/08/02 Re: [Ur] DatePicker? Timothy Beyer
2015/08/02 Re: [Ur] Difficulty determining what functions to "wrap", using JavaScript FFI, for certain existing JavaScript libraries Sergey Mironov
2015/08/01 [Ur] Minimal attempt to wrap a datepicker library (Pikaday). What do I put in js.urs ? Stefan Scott Alexander
2015/08/01 [Ur] Minimal attempt to wrap a datepicker library (Pikaday). What do I put in js.urs ? Stefan Scott Alexander
2015/08/01 [Ur] An initial wild guess attempting to wrap a Bootstrap DatePicker for Ur/Web Stefan Scott Alexander
2015/08/01 [Ur] datebox.urp - compiler errors: "unification failure" Stefan Scott Alexander
2015/08/01 [Ur] DatePicker? Stefan Scott Alexander
2015/08/01 [Ur] Difficulty determining what functions to "wrap", using JavaScript FFI, for certain existing JavaScript libraries Stefan Scott Alexander
2015/08/01 Re: [Ur] datebox.urp - compiler errors: "unification failure" Ziv Scully
2015/08/01 [Ur] datebox.urp - compiler errors: "unification failure" Stefan Scott Alexander
2015/08/01 [Ur] DatePicker? Stefan Scott Alexander
2015/08/01 [Ur] DatePicker? Stefan Scott Alexander