July 2015 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Fri Jul 3 10:11:25 EDT 2015
Ending: Thu Jul 30 17:24:02 EDT 2015
Messages: 93

• [Ur] type recursion in records   Gabriel Riba
  • [Ur] type recursion in records   Adam Chlipala
• [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] 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   Adam Chlipala
• [Ur] Mutually recursive values   Gabriel Riba
  • [Ur] Mutually recursive values   Gabriel Riba
  • [Ur] Mutually recursive values   Adam Chlipala
• [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] 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] 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 at extensibl.com
      • [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] fix returnBlob and redirect in static protocol   Julian Squires
  • [Ur] fix returnBlob and redirect in static protocol   Adam Chlipala
• [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] New website?   Torstein Saltvedt
  • [Ur] New website?   Adam Chlipala
    • [Ur] New website?   Austin Seipp
      • [Ur] New website?   Adam Chlipala
    • [Ur] New website?   Orchidaceae Phalaenopsis
      • [Ur] New website?   Sergey Mironov
      • [Ur] Live-coding demo (was: New website?)   Adam Chlipala
      • [Ur] Live-coding demo (was: New website?)   Sergey Mironov
  • [Ur] New website?   Stefan Scott Alexander
    • [Ur] New website?   Adam Chlipala
      • [Ur] New website?   Torstein Saltvedt
      • [Ur] New website?   ml at extensibl.com
      • [Ur] New website?   ml at extensibl.com
      • [Ur] New website?   Orchidaceae Phalaenopsis
      • [Ur] New website?   Sergey Mironov
      • [Ur] New website?   ml at extensibl.com
      • [Ur] New website?   Timothy Beyer
      • [Ur] New website?   Istvan Chung
• [Ur] queryL question   Todd Roth
  • [Ur] queryL question   Adam Chlipala
    • [Ur] queryL question   Todd Roth
• [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
    • [Ur] Unrecognized command 'style' (when trying to compile UPO, after adding bootstrap3 to /usr/local/lib/urweb/ur/)   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] Error when trying to compile UPO: Invalid URL /style.css passed to 'bless'   Stefan Scott Alexander
  • [Ur] Error when trying to compile UPO: Invalid URL /style.css passed to 'bless'   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?   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] Now using queryL1 instead of queryX1 - No longer getting monadic IO "unification failure" errors, now just getting mismatched tag errors   Stefan Scott Alexander
  • [Ur] Now using queryL1 instead of queryX1 - No longer getting monadic IO "unification failure" errors, now just getting mismatched tag errors   Adam Chlipala
• [Ur] checking for equality between optional and non-optional values in queries   Todd Roth
  • [Ur] checking for equality between optional and non-optional values in queries   Adam Chlipala
    • [Ur] checking for equality between optional and non-optional values in queries   Todd Roth
      • [Ur] checking for equality between optional and non-optional values in queries   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
  • [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
    • [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
    • [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] Questions regarding "nesting" of `xml ctx inp []` and `transaction (xml ctx inp [])`   Stefan Scott Alexander
  • [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] 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
  • [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
    • [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`   Adam Chlipala
• [Ur] Compilation error using onchange with ccheckbox   Graham Hopper
  • [Ur] Compilation error using onchange with ccheckbox   Julian Squires
    • [Ur] Compilation error using onchange with ccheckbox   Sergey Mironov
      • [Ur] Compilation error using onchange with ccheckbox   Graham Hopper
• [Ur] Five weird questions involving kind `Name` vs type `string`   Stefan Scott Alexander
  • [Ur] Five weird questions involving kind `Name` vs type `string`   Adam Chlipala
• [Ur] C FFI and openssl   Todd Roth
  • [Ur] C FFI and openssl   Benjamin Barenblat
    • [Ur] C FFI and openssl   Todd Roth
    • [Ur] C FFI and openssl   Todd Roth
• [Ur] A question involving type `string` and field names   Stefan Scott Alexander
• [Ur] Given some strings, is it possible to create a record using them as field names?   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] (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`?   Adam Chlipala
• [Ur] Using a simpler "flexible record pattern" - still getting syntax errors   Stefan Scott Alexander
  • [Ur] Using a simpler "flexible record pattern" - still getting syntax errors   Adam Chlipala
• [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] 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]   Adam Chlipala
  • [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] Running queryX1 once works; running it twice gives a compiler error   Stefan Scott Alexander
  • [Ur] Running queryX1 once works; running it twice gives a compiler error   Adam Chlipala
  • [Ur] Running queryX1 once works; running it twice gives a compiler error   Stefan Scott Alexander

Last message date: Thu Jul 30 17:24:02 EDT 2015
Archived on: Thu Jul 30 17:29:23 EDT 2015

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...