ur  

Messages by Thread

• • Re: [Ur] New website? Sergey Mironov
  • Re: [Ur] New website? Sergey Mironov
  • Re: [Ur] New website? Istvan Chung
  • Re: [Ur] New website? Adam Chlipala
  • Re: [Ur] New website? Timothy Beyer
  • Re: [Ur] New website? Adam Chlipala
  • Re: [Ur] New website? Timothy Beyer
  • Re: [Ur] New website? Sergey Mironov
  • Re: [Ur] New website? Adam Chlipala
  • Re: [Ur] New website? Adam Chlipala
  • Re: [Ur] New website? ml
  • Re: [Ur] New website? Orchidaceae Phalaenopsis
  • Re: [Ur] New website? Sergey Mironov
  • Re: [Ur] New website? ml
  • Re: [Ur] New website? Timothy Beyer
  • Re: [Ur] New website? Istvan Chung
• [Ur] Compilation error using onchange with ccheckbox Graham Hopper
  • Re: [Ur] Compilation error using onchange with ccheckbox Julian Squires
  • Re: [Ur] Compilation error using onchange with ccheckbox Sergey Mironov
  • Re: [Ur] Compilation error using onchange with ccheckbox Graham Hopper
• [Ur] Mysterious behavior: Simple example DOES NOT compile using table named `thing` - but identical code DOES compile and run fine after renaming table `thing` to table `t` Stefan Scott Alexander
  • Re: [Ur] Mysterious behavior: Simple example DOES NOT compile using table named `thing` - but identical code DOES compile and run fine after renaming table `thing` to table `t` Chris Double
  • [Ur] Mysterious behavior: Simple example DOES NOT compile using table named `thing` - but identical code DOES compile and run fine after renaming table `thing` to table `t` Stefan Scott Alexander
  • Re: [Ur] Mysterious behavior: Simple example DOES NOT compile using table named `thing` - but identical code DOES compile and run fine after renaming table `thing` to table `t` Chris Double
  • Re: [Ur] Mysterious behavior: Simple example DOES NOT compile using table named `thing` - but identical code DOES compile and run fine after renaming table `thing` to table `t` Adam Chlipala
• [Ur] Questions regarding "nesting" of `xml ctx inp []` and `transaction (xml ctx inp [])` Stefan Scott Alexander
  • Re: [Ur] Questions regarding "nesting" of `xml ctx inp []` and `transaction (xml ctx inp [])` Sergey Mironov
  • [Ur] Questions regarding "nesting" of `xml ctx inp []` and `transaction (xml ctx inp [])` Stefan Scott Alexander
• [Ur] Function `queryL1` returns type `transaction (list $fs)` - How can I get the `list $fs` part and pass it to `List.mapX` - which expects type `list`? Stefan Scott Alexander
  • Re: [Ur] Function `queryL1` returns type `transaction (list $fs)` - How can I get the `list $fs` part and pass it to `List.mapX` - which expects type `list`? Adam Chlipala
  • [Ur] Function `queryL1` returns type `transaction (list $fs)` - How can I get the `list $fs` part and pass it to `List.mapX` - which expects type `list`? Stefan Scott Alexander
  • Re: [Ur] Function `queryL1` returns type `transaction (list $fs)` - How can I get the `list $fs` part and pass it to `List.mapX` - which expects type `list`? Istvan Chung
  • Re: [Ur] Function `queryL1` returns type `transaction (list $fs)` - How can I get the `list $fs` part and pass it to `List.mapX` - which expects type `list`? Julian Squires
  • [Ur] Function `queryL1` returns type `transaction (list $fs)` - How can I get the `list $fs` part and pass it to `List.mapX` - which expects type `list`? Stefan Scott Alexander
  • [Ur] Function `queryL1` returns type `transaction (list $fs)` - How can I get the `list $fs` part and pass it to `List.mapX` - which expects type `list`? Stefan Scott Alexander
• [Ur] checking for equality between optional and non-optional values in queries Todd Roth
  • Re: [Ur] checking for equality between optional and non-optional values in queries Adam Chlipala
  • Re: [Ur] checking for equality between optional and non-optional values in queries Todd Roth
  • Re: [Ur] checking for equality between optional and non-optional values in queries Adam Chlipala
• [Ur] Now using queryL1 instead of queryX1 - No longer getting monadic IO "unification failure" errors, now just getting mismatched tag errors Stefan Scott Alexander
  • Re: [Ur] Now using queryL1 instead of queryX1 - No longer getting monadic IO "unification failure" errors, now just getting mismatched tag errors Adam Chlipala
• [Ur] Given a value of a "transactional" type, how can it be used in an expression expecting a different, "non-transactional" type? Stefan Scott Alexander
  • Re: [Ur] Given a value of a "transactional" type, how can it be used in an expression expecting a different, "non-transactional" type? Adam Chlipala
  • [Ur] Given a value of a "transactional" type, how can it be used in an expression expecting a different, "non-transactional" type? Stefan Scott Alexander
  • [Ur] Given a value of a "transactional" type, how can it be used in an expression expecting a different, "non-transactional" type? Stefan Scott Alexander
• [Ur] Error when trying to compile UPO: Invalid URL /style.css passed to 'bless' Stefan Scott Alexander
  • Re: [Ur] Error when trying to compile UPO: Invalid URL /style.css passed to 'bless' Adam Chlipala
• [Ur] Unrecognized command 'style' (when trying to compile UPO, after adding bootstrap3 to /usr/local/lib/urweb/ur/) [SOLVED] Stefan Scott Alexander
• [Ur] Unrecognized command 'style' (when trying to compile UPO, after adding bootstrap3 to /usr/local/lib/urweb/ur/) Stefan Scott Alexander
  • [Ur] Unrecognized command 'style' (when trying to compile UPO, after adding bootstrap3 to /usr/local/lib/urweb/ur/) Stefan Scott Alexander
  • Re: [Ur] Unrecognized command 'style' (when trying to compile UPO, after adding bootstrap3 to /usr/local/lib/urweb/ur/) Adam Chlipala
• [Ur] queryL question Todd Roth
  • Re: [Ur] queryL question Adam Chlipala
  • Re: [Ur] queryL question Todd Roth
• [Ur] Existing examples laying the groundwork for building a Native Select Widget. Help is welcome on how to make this a Native *Databound* *Autocomplete* Widget ! :-) Stefan Scott Alexander
• [Ur] fix returnBlob and redirect in static protocol Julian Squires
  • Re: [Ur] fix returnBlob and redirect in static protocol Adam Chlipala
• [Ur] Live demo and tutorial for a simple autocomplete widget written using RxJS + Mithril + 6to5/Babel + HTML5 <datalist>. Could this provide a basis for a simple "native" autocomplete widget in Ur/Web? Stefan Scott Alexander
  • [Ur] Live demo and tutorial for a simple autocomplete widget written using RxJS + Mithril + 6to5/Babel + HTML5 <datalist>. Could this provide a basis for a simple "native" autocomplete widget in Ur/Web? Stefan Scott Alexander
  • Re: [Ur] Live demo and tutorial for a simple autocomplete widget written using RxJS + Mithril + 6to5/Babel + HTML5 <datalist>. Could this provide a basis for a simple "native" autocomplete widget in Ur/Web? ml
  • Re: [Ur] Live demo and tutorial for a simple autocomplete widget written using RxJS + Mithril + 6to5/Babel + HTML5 <datalist>. Could this provide a basis for a simple "native" autocomplete widget in Ur/Web? Sergey Mironov
  • [Ur] Live demo and tutorial for a simple autocomplete widget written using RxJS + Mithril + 6to5/Babel + HTML5 <datalist>. Could this provide a basis for a simple "native" autocomplete widget in Ur/Web? Stefan Scott Alexander
  • [Ur] Live demo and tutorial for a simple autocomplete widget written using RxJS + Mithril + 6to5/Babel + HTML5 <datalist>. Could this provide a basis for a simple "native" autocomplete widget in Ur/Web? Stefan Scott Alexander
• [Ur] Help needed to implement a data-bound type-ahead / auto-complete widget for Ur/Web, to support easy editing of foreign-key fields Stefan Scott Alexander
• [Ur] Mutually recursive values Gabriel Riba
  • Re: [Ur] Mutually recursive values Adam Chlipala
  • Re: [Ur] Mutually recursive values Gabriel Riba
• [Ur] Trying to create a data-bound typeahead/autocomplete drop-down menu Stefan Scott Alexander
  • [Ur] Trying to create a data-bound typeahead/autocomplete drop-down menu Stefan Scott Alexander
• [Ur] type recursion in records Gabriel Riba
  • Re: [Ur] type recursion in records Adam Chlipala
• [Ur] Calculate difference between old and new database schemas Sergey Mironov
  • Re: [Ur] Calculate difference between old and new database schemas Adam Chlipala
• [Ur] Looking for RSS/Atom library Sergey Mironov
  • Re: [Ur] Looking for RSS/Atom library Adam Chlipala
  • Re: [Ur] Looking for RSS/Atom library Sergey Mironov
• [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
  • Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Adam Chlipala
  • Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Sergey Mironov
  • Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
  • Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
  • Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Ziv Scully
  • Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
  • Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Adam Chlipala
  • Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
  • Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
  • Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
  • [Ur] Hamlet like XML, structured by indentation with tag autoclosing Ziv Scully
  • Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
  • Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
  • Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Sergey Mironov
  • Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
  • Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Adam Chlipala
  • Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
  • Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Adam Chlipala
  • Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
  • Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
  • Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Adam Chlipala
  • Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
  • Re: [Ur] Hamlet like XML, structured by indentation with tag autoclosing Gabriel Riba
• [Ur] Hash and Gravatar libraries Benjamin Barenblat
  • Re: [Ur] Hash and Gravatar libraries Adam Chlipala
• [Ur] Troubles writing error monad Sergey Mironov
  • Re: [Ur] Troubles writing error monad Adam Chlipala
  • Re: [Ur] Troubles writing error monad Sergey Mironov
• [Ur] [ANNOUNCE] urweb-captcha library Sergey Mironov
• [Ur] Draft of a paper on the Ur/Web optimizer Adam Chlipala
  • Re: [Ur] Draft of a paper on the Ur/Web optimizer mozert1 mozert1
• [Ur] Constructing SQL WHERE clause at runtime Sergey Mironov
  • Re: [Ur] Constructing SQL WHERE clause at runtime Adam Chlipala
  • Re: [Ur] Constructing SQL WHERE clause at runtime Sergey Mironov
• [Ur] Redundant duplicate entry in urweb.lex Gabriel Riba
• [Ur] Proposed location literals to track caller's location in error msgs. Gabriel Riba
  • Re: [Ur] Proposed location literals to track caller's location in error msgs. Adam Chlipala
  • Re: [Ur] Proposed location literals to track caller's location in error msgs. Gabriel Riba
  • Re: [Ur] Proposed location literals to track caller's location in error msgs. Adam Chlipala
  • Re: [Ur] Proposed location literals to track caller's location in error msgs. Gabriel Riba
  • Re: [Ur] Proposed location literals to track caller's location in error msgs. Adam Chlipala
  • Re: [Ur] Proposed location literals to track caller's location in error msgs. Gabriel Riba
  • Re: [Ur] Proposed location literals to track caller's location in error msgs. Adam Chlipala
  • Re: [Ur] Proposed location literals to track caller's location in error msgs. Gabriel Riba
  • Re: [Ur] Proposed location literals to track caller's location in error msgs. Gabriel Riba
  • Re: [Ur] Proposed location literals to track caller's location in error msgs. Adam Chlipala
  • Re: [Ur] Proposed location literals to track caller's location in error msgs. Gabriel Riba
• [Ur] Bug with oversized int literals and hexadecimal ones bigger than 32 bits Gabriel Riba
  • Re: [Ur] Bug with oversized int literals and hexadecimal ones bigger than 32 bits Adam Chlipala
• [Ur] [SOLVED: will now use Postgres instead] Can an Ur/Web server be made to create directories / write to files on the host Linux filesystem? Stefan Scott Alexander
• [Ur] Can an Ur/Web server be made to create directories / write to files on the host Linux filesystem? Stefan Scott Alexander
  • Re: [Ur] Can an Ur/Web server be made to create directories / write to files on the host Linux filesystem? Timothy Beyer
  • Re: [Ur] Can an Ur/Web server be made to create directories / write to files on the host Linux filesystem? Sergey Mironov
  • Re: [Ur] Can an Ur/Web server be made to create directories / write to files on the host Linux filesystem? Timothy Beyer
  • Re: [Ur] Can an Ur/Web server be made to create directories / write to files on the host Linux filesystem? Sergey Mironov
  • Re: [Ur] Can an Ur/Web server be made to create directories / write to files on the host Linux filesystem? Adam Chlipala
  • [Ur] Can an Ur/Web server be made to create directories / write to files on the host Linux filesystem? Stefan Scott Alexander
• [Ur] Fatal initialization error: Table 'uw_crud1_t1' does not exist. [SOLVED] Stefan Scott Alexander
• [Ur] textbox disabled and readonly attrs Todd Roth
  • Re: [Ur] textbox disabled and readonly attrs Adam Chlipala
  • Re: [Ur] textbox disabled and readonly attrs Todd Roth
  • Re: [Ur] textbox disabled and readonly attrs Julian Squires
  • Re: [Ur] textbox disabled and readonly attrs Todd Roth
• [Ur] Fatal initialization error: Table 'uw_chatroom_room_subscriber' does not exist. Stefan Scott Alexander
  • Re: [Ur] Fatal initialization error: Table 'uw_chatroom_room_subscriber' does not exist. Sean Chalmers
  • [Ur] Fatal initialization error: Table 'uw_chatroom_room_subscriber' does not exist. Stefan Scott Alexander
  • Re: [Ur] Fatal initialization error: Table 'uw_chatroom_room_subscriber' does not exist. Sean Chalmers
• [Ur] Fatal initialization error: Table 'uw_board_post' does not exist. Stefan Scott Alexander
  • Re: [Ur] Fatal initialization error: Table 'uw_board_post' does not exist. ml
  • [Ur] Fatal initialization error: Table 'uw_board_post' does not exist. Stefan Scott Alexander
  • Re: [Ur] Fatal initialization error: Table 'uw_board_post' does not exist. Julian Squires
• [Ur] Fatal initialization error: Table 'uw_crud1_t1' does not exist. Stefan Scott Alexander
  • Re: [Ur] Fatal initialization error: Table 'uw_crud1_t1' does not exist. Adam Chlipala
• [Ur] event propagation Julian Squires
  • Re: [Ur] event propagation Adam Chlipala
  • Re: [Ur] event propagation Vladimir Shabanov
  • [Ur] Change breaks backward compatibility: default event propagation in GUI handlers Adam Chlipala
  • Re: [Ur] Change breaks backward compatibility: default event propagation in GUI handlers Vladimir Shabanov
• [Ur] more small patches: elisp, fieldset, file Julian Squires
  • Re: [Ur] more small patches: elisp, fieldset, file Julian Squires
  • Re: [Ur] more small patches: elisp, fieldset, file Julian Squires
  • Re: [Ur] more small patches: elisp, fieldset, file Adam Chlipala
• [Ur] Standalone executable/binary runnable from command prompt Artella Coding
  • Re: [Ur] Standalone executable/binary runnable from command prompt Sergey Mironov
  • Re: [Ur] Standalone executable/binary runnable from command prompt Artella Coding
  • Re: [Ur] Standalone executable/binary runnable from command prompt Adam Chlipala
  • Re: [Ur] Standalone executable/binary runnable from command prompt Artella Coding
  • Re: [Ur] Standalone executable/binary runnable from command prompt Adam Chlipala
  • Re: [Ur] Standalone executable/binary runnable from command prompt mozert1 mozert1
  • Re: [Ur] Standalone executable/binary runnable from command prompt Adam Chlipala
• [Ur] HTML5 tags: source tag conflict Sergey Mironov
  • Re: [Ur] HTML5 tags: source tag conflict Sergey Mironov
  • Re: [Ur] HTML5 tags: source tag conflict Adam Chlipala
• [Ur] Client http functionality? Gabriel Riba
  • Re: [Ur] Client http functionality? Sergey Mironov
  • Re: [Ur] Client http functionality? Adam Chlipala
• [Ur] TechEmpower benchmarks Round 10 release Adam Chlipala
• [Ur] two small patches Julian Squires
  • Re: [Ur] two small patches Adam Chlipala
• [Ur] Bug in SQL name-mangling (patch) Istvan Chung
  • Re: [Ur] Bug in SQL name-mangling (patch) Adam Chlipala
• [Ur] Announcing the Ur/Web People Organizer Adam Chlipala
• [Ur] questions on the demos mozert1 mozert1
  • Re: [Ur] questions on the demos Adam Chlipala
• [Ur] Memory allocation for purely functional code Sergey Mironov
  • Re: [Ur] Memory allocation for purely functional code Adam Chlipala
• [Ur] HTML5 video background Sergey Mironov
• [Ur] Seccomp for Ur/Web-generated binaries Benjamin Barenblat
  • Re: [Ur] Seccomp for Ur/Web-generated binaries ml
  • Re: [Ur] Seccomp for Ur/Web-generated binaries Timothy Beyer
  • Re: [Ur] Seccomp for Ur/Web-generated binaries Adam Chlipala
  • Re: [Ur] Seccomp for Ur/Web-generated binaries Adam Chlipala
• [Ur] Obtaining location information Sergey Mironov
  • Re: [Ur] Obtaining location information Adam Chlipala
  • Re: [Ur] Obtaining location information Sergey Mironov
  • Re: [Ur] Obtaining location information Adam Chlipala
• [Ur] UrWeb SVG inclusion trial, needs revision Gabriel Riba
  • Re: [Ur] UrWeb SVG inclusion trial, needs revision Gabriel Riba
  • Re: [Ur] UrWeb SVG inclusion trial, needs revision Adam Chlipala
  • Re: [Ur] UrWeb SVG inclusion trial, needs revision Gabriel Riba
  • Re: [Ur] UrWeb SVG inclusion trial, needs revision Adam Chlipala
• [Ur] Which is the syntax for record updating Gabriel Riba
  • Re: [Ur] Which is the syntax for record updating Adam Chlipala

• Earlier messages
• Later messages