Messages by Thread
-
-
[Ur] Error in final record unification
Yves Cloutier
-
[Ur] Learning Ur with a SimpleApplication
Yves Cloutier
-
Re: [Ur] Ur Digest, Vol 85, Issue 5
Yves Cloutier
-
[Ur] Installing From Source
Yves Cloutier
-
[Ur] Optional URL arguments
Artyom Shalkhakov
-
[Ur] SQL: renaming tables
Artyom Shalkhakov
-
Re: [Ur] Polymorphic datatype needed too late
Benjamin Barenblat
-
[Ur] Ur/Web on Raspbian
karsar
-
[Ur] Nix-based deployment of Ur/Web application
Sergey Mironov
-
[Ur] Installing urweb via apt-get
Yves Cloutier
-
[Ur] Installing urweb via apt-get
Yves Cloutier
-
[Ur] NixOS package
Sergey Mironov
-
[Ur] runST monad in ur/web
Artella Coding
-
[Ur] UPO framework - Ui.Make functor
emil brusic
-
[Ur] Ur/Web on GitHub
Adam Chlipala
-
[Ur] New round of TechEmpower Web Framework Benchmarks released
Adam Chlipala
-
[Ur] request for review of file save ffi extension
Orchidaceae Phalaenopsis
-
[Ur] Ur/Web on ARM?
Jason Pepas
-
[Ur] The right way to do federated login in 2015?
Karn Kallio
-
[Ur] The right way to do federated login in 2015?
Adam Chlipala
-
[Ur] Interested in Ur/Web + entrepreneurship?
Adam Chlipala
-
[Ur] Installing Ur/Web on Mac OSX (using homebrew)
Eran Meir
-
[Ur] [PATCH] Use correct OpenSSL thread safety macros on OS X (closes #209)
Benjamin Barenblat
-
[Ur] Minor question about simple Sql demo
Stefan Scott
-
[Ur] Anyone want to produce OS X binary packages for Ur/Web?
Adam Chlipala
-
[Ur] Changing a single identifier in crud.ur causes a compiler error - leading to some questions about field names and table names
Stefan Scott
-
[Ur] Minimal modification to Crud1: Moved a `@foldR` call *before* the `return`, no longer compiles.
Stefan Scott
-
[Ur] Modifying the Crud1 demo: Attempting to change the result type of `Widget` from `xml` to `transaction xml` - Does not compile yet!
Stefan Scott
-
[Ur] Unsafe GET and slow message passing
Ziv Scully
-
[Ur] Correct way to use "computed table names" `{{c}}` & "computed field names" `{c}` in functions?
Stefan Scott
-
[Ur] Parameter to specify a web-application's port, at compile-time and/or at run-time?
Stefan Scott
-
[Ur] Working demo: Filtering a list of English words using <ctextbox>, source, signal and SQL LIKE
Stefan Scott
-
[Ur] "Bare-bones" deployment *without* the compiler - eg, manually copy just the /usr/local/libliburweb_* files to the *remote* machine?
Stefan Scott Alexander
-
Re: [Ur] Interplay between the signal monad and the transaction monad
Stefan Scott Alexander
-
[Ur] Interplay between the signal monad and the transaction monad
Stefan Scott Alexander
-
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
-
[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
-
[Ur] SQL `LIKE` operator?
Stefan Scott Alexander
-
[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
-
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
-
[Ur] When testing the new wrapper for the Pikaday datepicker, adding another <textbox> makes the tag <body onload={...}> stop working
Stefan Scott Alexander
-
[Ur] new dequeue library
Gabriel Riba
-
[Ur] Learning the basics
Arctic Commander
-
[Ur] New attempt to wrap a simple JS datepicker library (Pikaday) to use with Ur/Web
Stefan Scott Alexander
-
[Ur] [PATCH] Add .clang-format style file; run clang-format
Benjamin Barenblat
-
[Ur] Minimal example generating a node id with fresh and using it in a form handler
Stefan Scott Alexander
-
[Ur] [Bug #206] Steer clear of urweb-crypto-random-openssl
Benjamin Barenblat
-
[Ur] Minimal attempt to wrap a datepicker library (Pikaday). What do I put in js.urs ?
Stefan Scott Alexander
-
[Ur] An initial wild guess attempting to wrap a Bootstrap DatePicker for Ur/Web
Stefan Scott Alexander
-
[Ur] Difficulty determining what functions to "wrap", using JavaScript FFI, for certain existing JavaScript libraries
Stefan Scott Alexander
-
[Ur] datebox.urp - compiler errors: "unification failure"
Stefan Scott Alexander
-
[Ur] DatePicker?
Stefan Scott Alexander
-
[Ur] Running queryX1 once works; running it twice gives a compiler error
Stefan Scott Alexander
-
[Ur] Minimal example of <select> widget for foreign-key field; error "Some constructor unification variables are undetermined" mentions field [Id = string] - but my field is actually [Id = int]
Stefan Scott Alexander
-
[Ur] Using a simpler "flexible record pattern" - still getting syntax errors
Stefan Scott Alexander
-
[Ur] (1) Syntax errors when destructuring a record of records on a field value; (2) Is it ok to define a function which returns something of kind `Name`?
Stefan Scott Alexander
-
[Ur] Given some strings, is it possible to create a record using them as field names?
Stefan Scott Alexander
-
[Ur] A question involving type `string` and field names
Stefan Scott Alexander
-
[Ur] C FFI and openssl
Todd Roth
-
[Ur] Five weird questions involving kind `Name` vs type `string`
Stefan Scott Alexander
-
Re: [Ur] New website?
Adam Chlipala