ur  

Messages by Thread

• [Ur] No-code use cases? Adam Chlipala
• [Ur] build errors in travis Fabrice Leal
  • Re: [Ur] build errors in travis Adam Chlipala
• [Ur] Ur/Web first impressions Joachim Breitner
  • Re: [Ur] Ur/Web first impressions Adam Chlipala
  • Re: [Ur] Ur/Web first impressions Joachim Breitner
  • Re: [Ur] Ur/Web first impressions Ziv Scully
  • Re: [Ur] Ur/Web first impressions Adam Chlipala
  • Re: [Ur] Ur/Web first impressions Joachim Breitner
• [Ur] angelflow angelflow
  • Re: [Ur] angelflow Mark Clements
  • Re: [Ur] angelflow Evan Danaher
• [Ur] Better date & time support in Ur/Web + PostgreSQL Simon Van Casteren
  • Re: [Ur] Better date & time support in Ur/Web + PostgreSQL Adam Chlipala
• [Ur] Change grammar to include fewer keywords Adam Chlipala
• [Ur] Change grammar to swap precedence of "&&" and "||"? Adam Chlipala
  • Re: [Ur] Change grammar to swap precedence of "&&" and "||"? Ziv Scully
  • Re: [Ur] Change grammar to swap precedence of "&&" and "||"? Ace
  • Re: [Ur] Change grammar to swap precedence of "&&" and "||"? Simon Van Casteren
  • Re: [Ur] Change grammar to swap precedence of "&&" and "||"? Vladimir Shabanov
  • Re: [Ur] Change grammar to swap precedence of "&&" and "||"? Adam Chlipala
• [Ur] Blogpost Simon Van Casteren
  • Re: [Ur] Blogpost Vladimir Shabanov
  • Re: [Ur] Blogpost Simon Van Casteren
  • Re: [Ur] Blogpost Adam Chlipala
  • Re: [Ur] Blogpost Simon Van Casteren
• [Ur] Any interest in bringing up a platform for virtual conferences? Adam Chlipala
  • Re: [Ur] Any interest in bringing up a platform for virtual conferences? Daniel Tornabene
  • Re: [Ur] Any interest in bringing up a platform for virtual conferences? Adam Chlipala
  • Re: [Ur] Any interest in bringing up a platform for virtual conferences? Urs Wegmann
  • Re: [Ur] Any interest in bringing up a platform for virtual conferences? Adam Chlipala
  • Re: [Ur] Any interest in bringing up a platform for virtual conferences? Simon Van Casteren
• [Ur] Result monad Urs Wegmann
  • Re: [Ur] Result monad Adam Chlipala
  • Re: [Ur] Result monad Urs Wegmann
• [Ur] Empty transaction Urs Wegmann
  • Re: [Ur] Empty transaction Ziv Scully
  • [Ur] Empty transaction Urs Wegmann
• [Ur] Help fixing Ur/Web's Travis script for Mac? Adam Chlipala
  • Re: [Ur] Help fixing Ur/Web's Travis script for Mac? Jason Gross
• [Ur] Planning a new Ur/Web release soon Adam Chlipala
• [Ur] Utility objectifyUr function in JavaScript Mark Clements
  • Re: [Ur] Utility objectifyUr function in JavaScript Adam Chlipala
• [Ur] Default settings using a generic record update Mark Clements
  • Re: [Ur] Default settings using a generic record update Adam Chlipala
  • Re: [Ur] Default settings using a generic record update Mark Clements
  • Re: [Ur] Default settings using a generic record update Ziv Scully
  • Re: [Ur] Default settings using a generic record update Mark Clements
  • Re: [Ur] Default settings using a generic record update Ziv Scully
  • Re: [Ur] Default settings using a generic record update Ziv Scully
  • Re: [Ur] Default settings using a generic record update Mark Clements
  • Re: [Ur] Default settings using a generic record update Ziv Scully
• [Ur] software architectures in Ur/web? Marko Schuetz-Schmuck
  • Re: [Ur] software architectures in Ur/web? Adam Chlipala
• [Ur] Ur/Web -> JavaScript objects Mark Clements
  • Re: [Ur] Ur/Web -> JavaScript objects Adam Chlipala
  • Re: [Ur] Ur/Web -> JavaScript objects Mark Clements
  • Re: [Ur] Ur/Web -> JavaScript objects Artyom Shalkhakov
  • Re: [Ur] Ur/Web -> JavaScript objects Mark Clements
  • Re: [Ur] Ur/Web -> JavaScript objects Adam Chlipala
• [Ur] Unable to use d3.js library Mark Clements
  • Re: [Ur] Unable to use d3.js library Athene Noctua
• [Ur] Understanding Ur Inference Failure Mario Alvarez
  • Re: [Ur] Understanding Ur Inference Failure Adam Chlipala
  • Re: [Ur] Understanding Ur Inference Failure Mario Alvarez
  • Re: [Ur] Understanding Ur Inference Failure Adam Chlipala
• [Ur] Dockerfile for building Ur/web apps + running on Heroku Oisín Mac Fhearaí
• [Ur] Ban wildcards from signature files? Adam Chlipala
• [Ur] Drop of several orders of magnitude in Techempower benchmarks Oisín Mac Fhearaí
  • Re: [Ur] Drop of several orders of magnitude in Techempower benchmarks Adam Chlipala
  • Re: [Ur] Drop of several orders of magnitude in Techempower benchmarks Oisín Mac Fhearaí
  • Re: [Ur] Drop of several orders of magnitude in Techempower benchmarks Oisín Mac Fhearaí
  • Re: [Ur] Drop of several orders of magnitude in Techempower benchmarks Oisín Mac Fhearaí
  • Re: [Ur] Drop of several orders of magnitude in Techempower benchmarks Adam Chlipala
  • Re: [Ur] Drop of several orders of magnitude in Techempower benchmarks Oisín Mac Fhearaí
  • Re: [Ur] Drop of several orders of magnitude in Techempower benchmarks Oisín Mac Fhearaí
  • Re: [Ur] Drop of several orders of magnitude in Techempower benchmarks Benjamin Barenblat
  • Re: [Ur] Drop of several orders of magnitude in Techempower benchmarks Karn Kallio
  • Re: [Ur] Drop of several orders of magnitude in Techempower benchmarks Oisín Mac Fhearaí
• [Ur] Joining Nullable to Non-nullable fields Simon Van Casteren
  • Re: [Ur] Joining Nullable to Non-nullable fields Athene Noctua
  • Re: [Ur] Joining Nullable to Non-nullable fields Simon Van Casteren
• [Ur] Pre-compressing static assets Simon Van Casteren
  • Re: [Ur] Pre-compressing static assets Adam Chlipala
  • Re: [Ur] Pre-compressing static assets Simon Van Casteren
• [Ur] Explicitly asking for a sql rollback Simon Van Casteren
  • Re: [Ur] Explicitly asking for a sql rollback Adam Chlipala
  • Re: [Ur] Explicitly asking for a sql rollback Simon Van Casteren
  • Re: [Ur] Explicitly asking for a sql rollback Adam Chlipala
  • Re: [Ur] Explicitly asking for a sql rollback Simon Van Casteren
• [Ur] File and location info in -dumpTypes Fabrice Leal
• Re: [Ur] Ur Digest, Vol 116, Issue 9 Fabrice Leal
• [Ur] File and location info in -dumpTypes Artyom Shalkhakov
• [Ur] Mandatory nginx conf: merge_slashes off Simon Van Casteren
  • Re: [Ur] Mandatory nginx conf: merge_slashes off Adam Chlipala
  • Re: [Ur] Mandatory nginx conf: merge_slashes off Simon Van Casteren
  • Re: [Ur] Mandatory nginx conf: merge_slashes off Adam Chlipala
  • Re: [Ur] Mandatory nginx conf: merge_slashes off Simon Van Casteren
  • Re: [Ur] Mandatory nginx conf: merge_slashes off Adam Chlipala
• [Ur] Securing sessions in Ur/Web Simon Van Casteren
  • Re: [Ur] Securing sessions in Ur/Web Adam Chlipala
  • Re: [Ur] Securing sessions in Ur/Web Simon Van Casteren
  • Re: [Ur] Securing sessions in Ur/Web Adam Chlipala
  • Re: [Ur] Securing sessions in Ur/Web Matt Rice
• [Ur] SQL table.field IN list Simon Van Casteren
  • Re: [Ur] SQL table.field IN list Athene Noctua
  • Re: [Ur] SQL table.field IN list Artyom Shalkhakov
  • Re: [Ur] SQL table.field IN list Adam Chlipala
• [Ur] Producing XML (tags clash with built-in ones) Artyom Shalkhakov
  • Re: [Ur] Producing XML (tags clash with built-in ones) Adam Chlipala
  • Re: [Ur] Producing XML (tags clash with built-in ones) Artyom Shalkhakov
• [Ur] I'm planning a new release in the first days of 2019. Adam Chlipala
• [Ur] Clarifying public API Benjamin Barenblat
  • Re: [Ur] Clarifying public API Adam Chlipala
• [Ur] about the -static compiler flag Fabrice Leal
  • Re: [Ur] about the -static compiler flag Adam Chlipala
  • Re: [Ur] about the -static compiler flag Chris Double
  • Re: [Ur] about the -static compiler flag Chris Double
  • Re: [Ur] about the -static compiler flag Adam Chlipala
  • Re: [Ur] about the -static compiler flag Benjamin Barenblat
  • Re: [Ur] about the -static compiler flag Chris Double
• [Ur] Should we have contributor guidelines for the Ur/Web project? Adam Chlipala
• [Ur] Tooling: type of an expression Simon Van Casteren
  • Re: [Ur] Tooling: type of an expression Adam Chlipala
  • Re: [Ur] Tooling: type of an expression Simon Van Casteren
  • Re: [Ur] Tooling: type of an expression Adam Chlipala
  • Re: [Ur] Tooling: type of an expression Simon Van Casteren
  • Re: [Ur] Tooling: type of an expression Adam Chlipala
• [Ur] Error compiling "Anonymous function remains at code generation" Fabrice Leal
  • Re: [Ur] Error compiling "Anonymous function remains at code generation" Fabrice Leal
  • Re: [Ur] Error compiling "Anonymous function remains at code generation" Fabrice Leal
  • Re: [Ur] Error compiling "Anonymous function remains at code generation" Adam Chlipala
  • Re: [Ur] Error compiling "Anonymous function remains at code generation" Aistis Raulinaitis
  • Re: [Ur] Error compiling "Anonymous function remains at code generation" Fabrice Leal
  • Re: [Ur] Error compiling "Anonymous function remains at code generation" Aistis Raulinaitis
  • Re: [Ur] Error compiling "Anonymous function remains at code generation" Fabrice Leal
  • Re: [Ur] Error compiling "Anonymous function remains at code generation" Aistis Raulinaitis
  • Re: [Ur] Error compiling "Anonymous function remains at code generation" Fabrice Leal
• [Ur] Parsing text files Fabrice Leal
  • Re: [Ur] Parsing text files Adam Chlipala
  • Re: [Ur] Parsing text files Fabrice Leal
  • Re: [Ur] Parsing text files Benjamin Barenblat
• [Ur] about the UrFlow Demos Fabrice Leal
  • Re: [Ur] about the UrFlow Demos Adam Chlipala
  • Re: [Ur] about the UrFlow Demos Fabrice Leal
  • Re: [Ur] about the UrFlow Demos Adam Chlipala
• [Ur] Interested in getting involved with a startup company? Adam Chlipala
• [Ur] Project binary milestone of the year Adam Chlipala
• [Ur] Struggling to figure out mapping of record Simon Van Casteren
  • Re: [Ur] Struggling to figure out mapping of record Adam Chlipala
  • Re: [Ur] Struggling to figure out mapping of record Simon Van Casteren
• [Ur] Reading files uploaded by a user Simon Van Casteren
  • Re: [Ur] Reading files uploaded by a user Adam Chlipala
  • Re: [Ur] Reading files uploaded by a user Simon Van Casteren
• [Ur] Client-side form validation Artyom Shalkhakov
• [Ur] Property-based testing + Contract driven development Simon Van Casteren
  • Re: [Ur] Property-based testing + Contract driven development Artyom Shalkhakov
  • Re: [Ur] Property-based testing + Contract driven development Simon Van Casteren
• [Ur] calling javascript code in <dyn> Fabrice Leal
  • Re: [Ur] calling javascript code in <dyn> Adam Chlipala
  • Re: [Ur] calling javascript code in <dyn> Simon Van Casteren
  • Re: [Ur] calling javascript code in <dyn> Adam Chlipala
  • Re: [Ur] calling javascript code in <dyn> Simon Van Casteren
  • Re: [Ur] calling javascript code in <dyn> Fabrice Leal
  • Re: [Ur] calling javascript code in <dyn> Adam Chlipala
  • Re: [Ur] calling javascript code in <dyn> Adam Chlipala
  • Re: [Ur] calling javascript code in <dyn> Aistis Raulinaitis
  • Re: [Ur] calling javascript code in <dyn> Adam Chlipala
  • [Ur] calling javascript code in <dyn> Fabrice Leal
  • Re: [Ur] calling javascript code in <dyn> Adam Chlipala
  • Re: [Ur] calling javascript code in <dyn> Fabrice Leal
  • Re: [Ur] calling javascript code in <dyn> Fabrice Leal
  • [Ur] calling javascript code in <dyn> Fabrice Leal
  • Re: [Ur] calling javascript code in <dyn> Adam Chlipala
• [Ur] about <canvas> Fabrice Leal
  • Re: [Ur] about <canvas> Benjamin Barenblat
  • Re: [Ur] about <canvas> Adam Chlipala
  • Re: [Ur] about <canvas> Fabrice Leal
  • Re: [Ur] about <canvas> Artyom Shalkhakov
• [Ur] Thoughts on cryptographic hashing for Ur/Web standard library? Adam Chlipala
  • Re: [Ur] Thoughts on cryptographic hashing for Ur/Web standard library? Matt Rice
  • Re: [Ur] Thoughts on cryptographic hashing for Ur/Web standard library? Adam Chlipala
  • Re: [Ur] Thoughts on cryptographic hashing for Ur/Web standard library? Benjamin Barenblat
  • Re: [Ur] Thoughts on cryptographic hashing for Ur/Web standard library? Adam Chlipala
• [Ur] Multitenancy Simon Van Casteren
  • Re: [Ur] Multitenancy Rob Manhatton
  • Re: [Ur] Multitenancy Adam Chlipala
  • Re: [Ur] Multitenancy Simon Van Casteren
  • Re: [Ur] Multitenancy steenuil
  • Re: [Ur] Multitenancy Adam Chlipala
  • Re: [Ur] Multitenancy Rob Manhatton
  • Re: [Ur] Multitenancy Simon Van Casteren
  • Re: [Ur] Multitenancy Adam Chlipala
  • Re: [Ur] Multitenancy Simon Van Casteren
  • Re: [Ur] Multitenancy Adam Chlipala
  • Re: [Ur] Multitenancy Artyom Shalkhakov
• [Ur] SVG Test based on ListEdit.ur Jonas Mellin
  • Re: [Ur] SVG Test based on ListEdit.ur Adam Chlipala
  • Re: [Ur] SVG Test based on ListEdit.ur Jonas Mellin
• [Ur] UR/Web SVG (ffi) question Jonas Mellin

• Earlier messages