ur  

Messages by Thread

• • Re: [Ur] Which is the syntax for record updating Gabriel Riba
• [Ur] obtain signal's value on a server side Sergey Mironov
  • Re: [Ur] obtain signal's value on a server side Adam Chlipala
  • Re: [Ur] obtain signal's value on a server side Sergey Mironov
  • Re: [Ur] obtain signal's value on a server side Timothy Beyer
  • Re: [Ur] obtain signal's value on a server side Adam Chlipala
  • Re: [Ur] obtain signal's value on a server side Sergey Mironov
• [Ur] ANN: toy-site named oilprice Sergey Mironov
  • Re: [Ur] ANN: toy-site named oilprice Adam Chlipala
  • Re: [Ur] ANN: toy-site named oilprice Sergey Mironov
• [Ur] swig Sergey Mironov
  • Re: [Ur] swig Adam Chlipala
• [Ur] ord class and performance Gabriel Riba
  • Re: [Ur] ord class and performance Adam Chlipala
  • Re: [Ur] ord class and performance Timothy Beyer
  • Re: [Ur] ord class and performance Adam Chlipala
• [Ur] A simple patch for (int) hexadecimal constants Gabriel Riba
  • Re: [Ur] A simple patch for (int) hexadecimal constants Gabriel Riba
  • Re: [Ur] A simple patch for (int) hexadecimal constants Adam Chlipala
• [Ur] Problem with character literals with tested solution gabriel
  • Re: [Ur] Problem with character literals with tested solution Adam Chlipala
• [Ur] A (simple) project and some thoughts. Evan Danaher
  • Re: [Ur] A (simple) project and some thoughts. Adam Chlipala
• [Ur] small patch adding <a download={string}> Sergey Mironov
  • Re: [Ur] small patch adding <a download={string}> Adam Chlipala
• [Ur] Functional infix operators ? Gabriel Riba
  • Re: [Ur] Functional infix operators ? Adam Chlipala
  • Re: [Ur] Functional infix operators ? Gabriel Riba
  • Re: [Ur] Functional infix operators ? Adam Chlipala
  • Re: [Ur] Functional infix operators ? Gabriel Riba
  • Re: [Ur] Functional infix operators ? Timothy Beyer
  • Re: [Ur] Functional infix operators ? Ziv Scully
  • Re: [Ur] Functional infix operators ? Sergey Mironov
  • Re: [Ur] Functional infix operators ? Gabriel Riba
  • Re: [Ur] Functional infix operators ? Gabriel Riba
  • Re: [Ur] Functional infix operators ? Gabriel Riba
  • Re: [Ur] Functional infix operators ? Gabriel Riba
  • Re: [Ur] Functional infix operators ? Sergey Mironov
  • Re: [Ur] Functional infix operators ? Adam Chlipala
  • Re: [Ur] Functional infix operators ? Gabriel Riba
• [Ur] Code reuse and type constraints Gabriel Riba
  • Re: [Ur] Code reuse and type constraints Adam Chlipala
  • Re: [Ur] Code reuse and type constraints Gabriel Riba
  • Re: [Ur] Code reuse and type constraints Adam Chlipala
  • Re: [Ur] Code reuse and type constraints Gabriel Riba
  • Re: [Ur] Code reuse and type constraints Adam Chlipala
  • Re: [Ur] Code reuse and type constraints Gabriel Riba
  • Re: [Ur] Code reuse and type constraints Adam Chlipala
  • Re: [Ur] Code reuse and type constraints Gabriel Riba
• [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
  • 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
  • [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
  • 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
  • [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
  • 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
• [Ur] Ur/Web Language Definition Gary D Walborn
• [Ur] Implicit problem in typeclass recursive instance [testable t] -> testable (list t) Gabriel Riba
  • Re: [Ur] Implicit problem in typeclass recursive instance [testable t] -> testable (list t) Gabriel Riba
  • Re: [Ur] Implicit problem in typeclass recursive instance [testable t] -> testable (list t) Adam Chlipala
  • Re: [Ur] Implicit problem in typeclass recursive instance [testable t] -> testable (list t) Gabriel Riba
  • Re: [Ur] Implicit problem in typeclass recursive instance [testable t] -> testable (list t) Adam Chlipala
• [Ur] camel case for database table names Kevin Johnson
  • Re: [Ur] camel case for database table names Adam Chlipala
  • Re: [Ur] camel case for database table names Kevin Johnson
  • Re: [Ur] camel case for database table names Adam Chlipala
• Re: [Ur] Ur/Web on MIT Scripts Benjamin Barenblat
• [Ur] Compile error in simple test app involving 'list' and 'eq'; difficulty understanding higher-order expressions Stefan Scott Alexander
  • Re: [Ur] Compile error in simple test app involving 'list' and 'eq'; difficulty understanding higher-order expressions Adam Chlipala
  • Re: [Ur] Compile error in simple test app involving 'list' and 'eq'; difficulty understanding higher-order expressions Stefan Scott Alexander
  • Re: [Ur] Compile error in simple test app involving 'list' and 'eq'; difficulty understanding higher-order expressions Stefan Scott Alexander
• [Ur] Error doing 'make smlnj' (trying to access UrWeb compiler interactively, within SML/NJ) Stefan Scott Alexander
  • Re: [Ur] Error doing 'make smlnj' (trying to access UrWeb compiler interactively, within SML/NJ) Adam Chlipala
  • Re: [Ur] Error doing 'make smlnj' (trying to access UrWeb compiler interactively, within SML/NJ) Stefan Scott Alexander
  • Re: [Ur] Error doing 'make smlnj' (trying to access UrWeb compiler interactively, within SML/NJ) Adam Chlipala
• [Ur] Notes regarding Grid1 demo Stefan Scott Alexander
  • Re: [Ur] Notes regarding Grid1 demo Adam Chlipala
• [Ur] Ideas for evaluating Ur/Web compiler's optimizations? Adam Chlipala
  • Re: [Ur] Ideas for evaluating Ur/Web compiler's optimizations? Sergey Mironov
• [Ur] outer join + inner sql request Sergey Mironov
  • Re: [Ur] outer join + inner sql request Sergey Mironov
• [Ur] Uru, new version available Sergey Mironov
• [Ur] Proofread a paper on Ur/Web? Adam Chlipala
  • Re: [Ur] Proofread a paper on Ur/Web? Gergely Buday
• [Ur] Patch, more html5 attributes Sergey Mironov
  • Re: [Ur] Patch, more html5 attributes Adam Chlipala
  • Re: [Ur] Patch, more html5 attributes Sergey Mironov
• [Ur] Type signature for a form handler Burton Samograd
  • Re: [Ur] Type signature for a form handler mutaamba maasha
• [Ur] SQL Question Burton Samograd
  • Re: [Ur] SQL Question Adam Chlipala
  • Re: [Ur] SQL Question mutaamba maasha
  • Re: [Ur] SQL Question Burton Samograd
  • Re: [Ur] SQL Question Adam Chlipala
  • Re: [Ur] SQL Question Burton Samograd
  • Re: [Ur] SQL Question mutaamba maasha
  • Re: [Ur] SQL Question Burton Samograd
  • Re: [Ur] SQL Question Burton Samograd
• [Ur] Simple XML Templating Problem Burton Samograd
  • Re: [Ur] Simple XML Templating Problem [email protected]
  • Re: [Ur] Simple XML Templating Problem Burton Samograd
  • Re: [Ur] Simple XML Templating Problem [email protected]
  • Re: [Ur] Simple XML Templating Problem Burton Samograd
  • Re: [Ur] Simple XML Templating Problem Sergey Mironov
  • Re: [Ur] Simple XML Templating Problem Burton Samograd
  • Re: [Ur] Simple XML Templating Problem [email protected]
  • Re: [Ur] Simple XML Templating Problem Adam Chlipala
  • Re: [Ur] Simple XML Templating Problem Burton Samograd
  • Re: [Ur] Simple XML Templating Problem Adam Chlipala
• [Ur] Patch for Basis.clientIP Sergey Mironov
  • Re: [Ur] Patch for Basis.clientIP Adam Chlipala
  • Re: [Ur] Patch for Basis.clientIP Sergey Mironov
  • Re: [Ur] Patch for Basis.clientIP Adam Chlipala
• [Ur] few security patches Sergey Mironov
  • Re: [Ur] few security patches Adam Chlipala
  • Re: [Ur] few security patches Sergey Mironov
• [Ur] ANNOUNCE urweb-callback version 3.0 Sergey Mironov
• [Ur] mapPartial reverses the list Sergey Mironov
  • Re: [Ur] mapPartial reverses the list Sergey Mironov
• [Ur] Fwd: [Ur/Web 0000181]: No support for dml DELETE FROM without WHERE clause Sergey Mironov
  • Re: [Ur] Fwd: [Ur/Web 0000181]: No support for dml DELETE FROM without WHERE clause Adam Chlipala
• [Ur] Few patches Sergey Mironov
  • Re: [Ur] Few patches Adam Chlipala
  • Re: [Ur] Few patches Sergey Mironov
• [Ur] Body within cformTags Sergey Mironov
  • Re: [Ur] Body within cformTags Adam Chlipala
• [Ur] 'Anonymous function remains' in state monad Sergey Mironov
  • Re: [Ur] 'Anonymous function remains' in state monad Adam Chlipala
  • Re: [Ur] 'Anonymous function remains' in state monad Sergey Mironov
  • Re: [Ur] 'Anonymous function remains' in state monad Adam Chlipala
  • Re: [Ur] 'Anonymous function remains' in state monad Sergey Mironov
  • Re: [Ur] 'Anonymous function remains' in state monad Adam Chlipala
  • Re: [Ur] 'Anonymous function remains' in state monad Sergey Mironov
  • Re: [Ur] 'Anonymous function remains' in state monad Adam Chlipala
  • Re: [Ur] 'Anonymous function remains' in state monad Sergey Mironov
• [Ur] postBody compiler bug Sergey Mironov
  • Re: [Ur] postBody compiler bug Adam Chlipala
  • Re: [Ur] postBody compiler bug Sergey Mironov
• Re: [Ur] Ur Digest, Vol 66, Issue 3 William Blair
  • Re: [Ur] Ur Digest, Vol 66, Issue 3 Sergey Mironov
• [Ur] socket detaching Sergey Mironov
  • Re: [Ur] socket detaching Adam Chlipala
  • Re: [Ur] socket detaching Sergey Mironov
  • Re: [Ur] socket detaching Adam Chlipala
  • Re: [Ur] socket detaching Sergey Mironov
  • Re: [Ur] socket detaching Adam Chlipala
• [Ur] Making Ur/Web applications serve static files Adam Chlipala
  • Re: [Ur] Making Ur/Web applications serve static files Istvan Chung
  • Re: [Ur] Making Ur/Web applications serve static files Adam Chlipala
• [Ur] A few questions about Ur/Web Andy
  • Re: [Ur] A few questions about Ur/Web Adam Chlipala
  • Re: [Ur] A few questions about Ur/Web Artyom Shalkhakov
• [Ur] Invalid Action expression Sergey Mironov
  • Re: [Ur] Invalid Action expression Adam Chlipala
  • Re: [Ur] Invalid Action expression Sergey Mironov
  • Re: [Ur] Invalid Action expression Adam Chlipala
  • Re: [Ur] Invalid Action expression Sergey Mironov
  • Re: [Ur] Invalid Action expression Adam Chlipala
  • Re: [Ur] Invalid Action expression Sergey Mironov
  • Re: [Ur] Invalid Action expression Adam Chlipala
• [Ur] Unification failure when duplicating result of a monadic XML generator Sergey Mironov
  • Re: [Ur] Unification failure when duplicating result of a monadic XML generator Sergey Mironov
  • Re: [Ur] Unification failure when duplicating result of a monadic XML generator Adam Chlipala
• [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation orchidaceae phalaenopsis
  • Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation Adam Chlipala
  • Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation orchidaceae phalaenopsis
  • Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation Sergey Mironov
  • Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation orchidaceae phalaenopsis
  • Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation Adam Chlipala
  • Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation orchidaceae phalaenopsis
  • Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation Adam Chlipala
  • Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation Adam Chlipala
  • Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation orchidaceae phalaenopsis
  • Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation Adam Chlipala
  • Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation orchidaceae phalaenopsis
  • Re: [Ur] Combinator Parsing in Ur: Anonymous function remains at code generation Adam Chlipala
• [Ur] feature request: forward url declarations Sergey Mironov
  • Re: [Ur] feature request: forward url declarations Adam Chlipala
  • Re: [Ur] feature request: forward url declarations Sergey Mironov
• [Ur] Bootstrap example ported Sergey Mironov
  • Re: [Ur] Bootstrap example ported Adam Chlipala
• [Ur] urweb-callback: version 2.0+ Sergey Mironov
• [Ur] Capturing classes of queries/Dynamic SQL queries orchidaceae phalaenopsis
  • Re: [Ur] Capturing classes of queries/Dynamic SQL queries Adam Chlipala
• [Ur] select .. where a <> NULL is not working Sergey Mironov
  • Re: [Ur] select .. where a <> NULL is not working Sergey Mironov
• [Ur] Almost 100% bug in request() algorithm Sergey Mironov
  • Re: [Ur] Almost 100% bug in request() algorithm Sergey Mironov
  • Re: [Ur] Almost 100% bug in request() algorithm Adam Chlipala
• [Ur] An Ur/Web implementation of TodoMVC Adam Chlipala
  • Re: [Ur] An Ur/Web implementation of TodoMVC Torstein Saltvedt
  • Re: [Ur] An Ur/Web implementation of TodoMVC Adam Chlipala
  • Re: [Ur] An Ur/Web implementation of TodoMVC Timothy Beyer
  • Re: [Ur] An Ur/Web implementation of TodoMVC Timothy Beyer
  • Re: [Ur] An Ur/Web implementation of TodoMVC Adam Chlipala
  • Re: [Ur] An Ur/Web implementation of TodoMVC Timothy Beyer
• [Ur] regression in string.ur Sergey Mironov
  • Re: [Ur] regression in string.ur Adam Chlipala
  • Re: [Ur] regression in string.ur Adam Chlipala
• [Ur] urweb patch: allow '+' character for blessMime Sergey Mironov
• [Ur] Force the inclusion of an url Sergey Mironov

• Earlier messages
• Later messages