ur

Messages by Date

2015/04/06 Re: [Ur] questions on the demos Adam Chlipala
2015/04/06 [Ur] questions on the demos mozert1 mozert1
2015/03/29 Re: [Ur] Memory allocation for purely functional code Adam Chlipala
2015/03/29 [Ur] Memory allocation for purely functional code Sergey Mironov
2015/03/22 [Ur] HTML5 video background Sergey Mironov
2015/03/18 Re: [Ur] Seccomp for Ur/Web-generated binaries Adam Chlipala
2015/03/18 Re: [Ur] Seccomp for Ur/Web-generated binaries Adam Chlipala
2015/03/17 Re: [Ur] Seccomp for Ur/Web-generated binaries Timothy Beyer
2015/03/17 Re: [Ur] Seccomp for Ur/Web-generated binaries ml
2015/03/17 [Ur] Seccomp for Ur/Web-generated binaries Benjamin Barenblat
2015/03/16 Re: [Ur] Obtaining location information Adam Chlipala
2015/03/16 Re: [Ur] Obtaining location information Sergey Mironov
2015/03/15 Re: [Ur] Obtaining location information Adam Chlipala
2015/03/15 Re: [Ur] UrWeb SVG inclusion trial, needs revision Adam Chlipala
2015/03/14 [Ur] Obtaining location information Sergey Mironov
2015/03/14 Re: [Ur] UrWeb SVG inclusion trial, needs revision Gabriel Riba
2015/03/13 Re: [Ur] UrWeb SVG inclusion trial, needs revision Adam Chlipala
2015/03/13 Re: [Ur] UrWeb SVG inclusion trial, needs revision Gabriel Riba
2015/03/12 [Ur] UrWeb SVG inclusion trial, needs revision Gabriel Riba
2015/03/07 Re: [Ur] Which is the syntax for record updating Gabriel Riba
2015/03/07 Re: [Ur] Which is the syntax for record updating Adam Chlipala
2015/03/07 [Ur] Which is the syntax for record updating Gabriel Riba
2015/03/06 Re: [Ur] obtain signal's value on a server side Sergey Mironov
2015/03/06 Re: [Ur] ord class and performance Adam Chlipala
2015/03/05 Re: [Ur] ord class and performance Timothy Beyer
2015/03/05 Re: [Ur] obtain signal's value on a server side Adam Chlipala
2015/03/05 Re: [Ur] ord class and performance Adam Chlipala
2015/03/05 Re: [Ur] A simple patch for (int) hexadecimal constants Adam Chlipala
2015/03/05 Re: [Ur] Functional infix operators ? Adam Chlipala
2015/03/04 Re: [Ur] obtain signal's value on a server side Timothy Beyer
2015/03/04 Re: [Ur] obtain signal's value on a server side Sergey Mironov
2015/03/04 Re: [Ur] obtain signal's value on a server side Adam Chlipala
2015/03/04 [Ur] obtain signal's value on a server side Sergey Mironov
2015/03/03 Re: [Ur] A (simple) project and some thoughts. Adam Chlipala
2015/03/03 Re: [Ur] ANN: toy-site named oilprice Sergey Mironov
2015/03/03 Re: [Ur] ANN: toy-site named oilprice Adam Chlipala
2015/03/03 [Ur] ANN: toy-site named oilprice Sergey Mironov
2015/02/28 Re: [Ur] swig Adam Chlipala
2015/02/27 [Ur] swig Sergey Mironov
2015/02/27 [Ur] ord class and performance Gabriel Riba
2015/02/26 Re: [Ur] A simple patch for (int) hexadecimal constants Gabriel Riba
2015/02/26 [Ur] A simple patch for (int) hexadecimal constants Gabriel Riba
2015/02/26 Re: [Ur] Problem with character literals with tested solution Adam Chlipala
2015/02/26 [Ur] Problem with character literals with tested solution gabriel
2015/02/25 Re: [Ur] Functional infix operators ? Gabriel Riba
2015/02/24 Re: [Ur] Functional infix operators ? Sergey Mironov
2015/02/22 Re: [Ur] Functional infix operators ? Gabriel Riba
2015/02/22 Re: [Ur] Functional infix operators ? Gabriel Riba
2015/02/21 Re: [Ur] Functional infix operators ? Gabriel Riba
2015/02/21 Re: [Ur] Functional infix operators ? Gabriel Riba
2015/02/21 [Ur] A (simple) project and some thoughts. Evan Danaher
2015/02/19 Re: [Ur] Functional infix operators ? Sergey Mironov
2015/02/19 Re: [Ur] Functional infix operators ? Ziv Scully
2015/02/19 Re: [Ur] Functional infix operators ? Timothy Beyer
2015/02/19 Re: [Ur] Functional infix operators ? Gabriel Riba
2015/02/16 Re: [Ur] Functional infix operators ? Adam Chlipala
2015/02/16 Re: [Ur] small patch adding <a download={string}> Adam Chlipala
2015/02/14 [Ur] small patch adding <a download={string}> Sergey Mironov
2015/02/14 [Ur] New release Adam Chlipala
2015/02/11 Re: [Ur] Functional infix operators ? Gabriel Riba
2015/02/11 Re: [Ur] Functional infix operators ? Adam Chlipala
2015/02/11 [Ur] Functional infix operators ? Gabriel Riba
2015/02/11 Re: [Ur] Code reuse and type constraints Adam Chlipala
2015/02/11 Re: [Ur] Code reuse and type constraints Gabriel Riba
2015/02/10 Re: [Ur] Code reuse and type constraints Adam Chlipala
2015/02/10 Re: [Ur] Code reuse and type constraints Gabriel Riba
2015/02/10 Re: [Ur] Code reuse and type constraints Adam Chlipala
2015/02/10 Re: [Ur] Code reuse and type constraints Gabriel Riba
2015/02/09 Re: [Ur] Code reuse and type constraints Gabriel Riba
2015/02/09 Re: [Ur] Code reuse and type constraints Adam Chlipala
2015/02/09 [Ur] Code reuse and type constraints Gabriel Riba
2015/01/28 Re: [Ur] Attempting to do Exercise 7.3 of Gian Perrone's UrWeb (blog) tutorial - trying to a logout() function and link to it - getting compiler errors Adam Chlipala
2015/01/28 [Ur] Attempting to do Exercise 7.3 of Gian Perrone's UrWeb (blog) tutorial - trying to a logout() function and link to it - getting compiler errors Stefan Scott Alexander
2015/01/28 Re: [Ur] Attempting to do Exercise 7.3 of Gian Perrone's UrWeb (blog) tutorial - trying to a logout() function and link to it - getting compiler errors Adam Chlipala
2015/01/28 [Ur] Attempting to do Exercise 7.3 of Gian Perrone's UrWeb (blog) tutorial - trying to a logout() function and link to it - getting compiler errors Stefan Scott Alexander
2015/01/28 Re: [Ur] Attempting to do Exercise 7.3 of Gian Perrone's UrWeb (blog) tutorial - trying to a logout() function and link to it - getting compiler errors Adam Chlipala
2015/01/28 [Ur] Attempting to do Exercise 7.3 of Gian Perrone's UrWeb (blog) tutorial - trying to a logout() function and link to it - getting compiler errors Stefan Scott Alexander
2015/01/23 Re: [Ur] Implicit problem in typeclass recursive instance [testable t] -> testable (list t) Adam Chlipala
2015/01/23 Re: [Ur] Implicit problem in typeclass recursive instance [testable t] -> testable (list t) Gabriel Riba
2015/01/22 [Ur] Ur/Web Language Definition Gary D Walborn
2015/01/22 Re: [Ur] camel case for database table names Adam Chlipala
2015/01/22 Re: [Ur] Implicit problem in typeclass recursive instance [testable t] -> testable (list t) Adam Chlipala
2015/01/19 Re: [Ur] Implicit problem in typeclass recursive instance [testable t] -> testable (list t) Gabriel Riba
2015/01/19 [Ur] Implicit problem in typeclass recursive instance [testable t] -> testable (list t) Gabriel Riba
2015/01/18 Re: [Ur] camel case for database table names Kevin Johnson
2015/01/17 Re: [Ur] camel case for database table names Adam Chlipala
2015/01/17 [Ur] camel case for database table names Kevin Johnson
2015/01/04 Re: [Ur] Ur/Web on MIT Scripts Benjamin Barenblat
2015/01/03 [Ur] New release Adam Chlipala
2014/12/25 Re: [Ur] Error doing 'make smlnj' (trying to access UrWeb compiler interactively, within SML/NJ) Adam Chlipala
2014/12/24 Re: [Ur] Compile error in simple test app involving 'list' and 'eq'; difficulty understanding higher-order expressions Stefan Scott Alexander
2014/12/24 Re: [Ur] Compile error in simple test app involving 'list' and 'eq'; difficulty understanding higher-order expressions Stefan Scott Alexander
2014/12/24 Re: [Ur] Compile error in simple test app involving 'list' and 'eq'; difficulty understanding higher-order expressions Adam Chlipala
2014/12/24 [Ur] Compile error in simple test app involving 'list' and 'eq'; difficulty understanding higher-order expressions Stefan Scott Alexander
2014/12/24 Re: [Ur] Error doing 'make smlnj' (trying to access UrWeb compiler interactively, within SML/NJ) Stefan Scott Alexander
2014/12/24 Re: [Ur] Error doing 'make smlnj' (trying to access UrWeb compiler interactively, within SML/NJ) Adam Chlipala
2014/12/24 [Ur] Error doing 'make smlnj' (trying to access UrWeb compiler interactively, within SML/NJ) Stefan Scott Alexander
2014/12/24 Re: [Ur] Notes regarding Grid1 demo Adam Chlipala
2014/12/23 [Ur] Notes regarding Grid1 demo Stefan Scott Alexander
2014/12/06 [Ur] New release Adam Chlipala
2014/12/04 Re: [Ur] Patch, more html5 attributes Sergey Mironov
2014/11/16 Re: [Ur] Patch, more html5 attributes Adam Chlipala
2014/11/16 Re: [Ur] Patch for Basis.clientIP Adam Chlipala
2014/11/05 Re: [Ur] Ideas for evaluating Ur/Web compiler's optimizations? Sergey Mironov
2014/11/02 [Ur] Ideas for evaluating Ur/Web compiler's optimizations? Adam Chlipala
2014/10/18 Re: [Ur] outer join + inner sql request Sergey Mironov
2014/10/18 [Ur] outer join + inner sql request Sergey Mironov
2014/10/17 [Ur] Uru, new version available Sergey Mironov
2014/10/13 Re: [Ur] Proofread a paper on Ur/Web? Gergely Buday
2014/10/12 [Ur] Proofread a paper on Ur/Web? Adam Chlipala
2014/10/12 [Ur] Patch, more html5 attributes Sergey Mironov
2014/10/03 Re: [Ur] Type signature for a form handler mutaamba maasha
2014/10/03 [Ur] Type signature for a form handler Burton Samograd
2014/10/03 Re: [Ur] SQL Question Burton Samograd
2014/10/03 Re: [Ur] SQL Question Burton Samograd
2014/10/03 Re: [Ur] SQL Question mutaamba maasha
2014/10/03 Re: [Ur] SQL Question Burton Samograd
2014/10/03 Re: [Ur] SQL Question Adam Chlipala
2014/10/03 Re: [Ur] SQL Question Burton Samograd
2014/10/03 Re: [Ur] SQL Question mutaamba maasha
2014/10/03 Re: [Ur] SQL Question Adam Chlipala
2014/10/02 [Ur] SQL Question Burton Samograd
2014/10/02 Re: [Ur] Simple XML Templating Problem Adam Chlipala
2014/10/02 Re: [Ur] Simple XML Templating Problem Burton Samograd
2014/10/02 Re: [Ur] Simple XML Templating Problem Adam Chlipala
2014/10/02 Re: [Ur] Simple XML Templating Problem [email protected]
2014/10/02 Re: [Ur] Simple XML Templating Problem Burton Samograd
2014/10/02 Re: [Ur] Simple XML Templating Problem Sergey Mironov
2014/10/02 Re: [Ur] Simple XML Templating Problem Burton Samograd
2014/10/02 Re: [Ur] Simple XML Templating Problem [email protected]
2014/10/02 Re: [Ur] Simple XML Templating Problem Burton Samograd
2014/10/02 Re: [Ur] Simple XML Templating Problem [email protected]
2014/10/02 [Ur] Simple XML Templating Problem Burton Samograd
2014/09/23 Re: [Ur] Patch for Basis.clientIP Sergey Mironov
2014/09/23 Re: [Ur] Patch for Basis.clientIP Adam Chlipala
2014/09/23 [Ur] Patch for Basis.clientIP Sergey Mironov
2014/09/06 Re: [Ur] few security patches Sergey Mironov
2014/09/06 Re: [Ur] few security patches Adam Chlipala
2014/09/06 [Ur] few security patches Sergey Mironov
2014/08/30 [Ur] New release Adam Chlipala
2014/08/24 [Ur] ANNOUNCE urweb-callback version 3.0 Sergey Mironov
2014/08/24 Re: [Ur] mapPartial reverses the list Sergey Mironov
2014/08/24 [Ur] mapPartial reverses the list Sergey Mironov
2014/08/24 Re: [Ur] Fwd: [Ur/Web 0000181]: No support for dml DELETE FROM without WHERE clause Adam Chlipala
2014/08/24 [Ur] Fwd: [Ur/Web 0000181]: No support for dml DELETE FROM without WHERE clause Sergey Mironov
2014/08/23 Re: [Ur] Few patches Sergey Mironov
2014/08/23 Re: [Ur] Few patches Adam Chlipala
2014/08/23 [Ur] Few patches Sergey Mironov
2014/08/19 [Ur] New release Adam Chlipala
2014/08/17 Re: [Ur] Body within cformTags Adam Chlipala
2014/08/17 [Ur] Body within cformTags Sergey Mironov
2014/08/16 Re: [Ur] 'Anonymous function remains' in state monad Sergey Mironov
2014/08/16 Re: [Ur] 'Anonymous function remains' in state monad Adam Chlipala
2014/08/15 Re: [Ur] 'Anonymous function remains' in state monad Sergey Mironov
2014/08/15 Re: [Ur] 'Anonymous function remains' in state monad Adam Chlipala
2014/08/15 Re: [Ur] 'Anonymous function remains' in state monad Sergey Mironov
2014/08/15 Re: [Ur] 'Anonymous function remains' in state monad Adam Chlipala
2014/08/15 Re: [Ur] 'Anonymous function remains' in state monad Sergey Mironov
2014/08/14 Re: [Ur] 'Anonymous function remains' in state monad Adam Chlipala
2014/08/14 [Ur] 'Anonymous function remains' in state monad Sergey Mironov
2014/08/08 Re: [Ur] Invalid Action expression Adam Chlipala
2014/08/08 Re: [Ur] Invalid Action expression Sergey Mironov
2014/08/08 Re: [Ur] Invalid Action expression Adam Chlipala
2014/08/08 Re: [Ur] Invalid Action expression Sergey Mironov
2014/08/07 Re: [Ur] A few questions about Ur/Web Artyom Shalkhakov
2014/08/07 [Ur] New release Adam Chlipala
2014/08/06 Re: [Ur] postBody compiler bug Sergey Mironov
2014/08/06 Re: [Ur] socket detaching Adam Chlipala
2014/08/06 Re: [Ur] postBody compiler bug Adam Chlipala
2014/08/06 [Ur] postBody compiler bug Sergey Mironov
2014/08/06 Re: [Ur] Ur Digest, Vol 66, Issue 3 Sergey Mironov
2014/08/06 Re: [Ur] socket detaching Sergey Mironov
2014/08/05 Re: [Ur] Ur Digest, Vol 66, Issue 3 William Blair
2014/08/05 Re: [Ur] socket detaching Adam Chlipala
2014/08/05 Re: [Ur] socket detaching Sergey Mironov
2014/08/01 Re: [Ur] socket detaching Adam Chlipala
2014/08/01 Re: [Ur] Invalid Action expression Adam Chlipala
2014/08/01 Re: [Ur] Making Ur/Web applications serve static files Adam Chlipala
2014/08/01 Re: [Ur] Bootstrap example ported Adam Chlipala
2014/08/01 [Ur] socket detaching Sergey Mironov
2014/07/31 Re: [Ur] Invalid Action expression Sergey Mironov
2014/07/31 Re: [Ur] Making Ur/Web applications serve static files Istvan Chung
2014/07/31 [Ur] Making Ur/Web applications serve static files Adam Chlipala
2014/07/26 Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation Adam Chlipala
2014/07/26 Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation orchidaceae phalaenopsis
2014/07/26 Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation Adam Chlipala
2014/07/26 Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation Adam Chlipala
2014/07/23 Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation orchidaceae phalaenopsis
2014/07/22 Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation orchidaceae phalaenopsis
2014/07/22 Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation Adam Chlipala
2014/07/22 Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation orchidaceae phalaenopsis
2014/07/22 Re: [Ur] Invalid Action expression Adam Chlipala
2014/07/22 Re: [Ur] Unification failure when duplicating result of a monadic XML generator Adam Chlipala
2014/07/22 Re: [Ur] A few questions about Ur/Web Adam Chlipala
2014/07/21 [Ur] A few questions about Ur/Web Andy
2014/07/21 Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation Adam Chlipala
2014/07/20 [Ur] Invalid Action expression Sergey Mironov
2014/07/20 Re: [Ur] Unification failure when duplicating result of a monadic XML generator Sergey Mironov
2014/07/19 [Ur] Unification failure when duplicating result of a monadic XML generator Sergey Mironov
2014/07/19 Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation Sergey Mironov