ur@impredicative.com

6

replies

[Ur] about the -static compiler flag

started 2018-10-28 04:32:10 UTC

2018-11-25 07:42:45 UTC

Chris Double

2

replies

[Ur] Property-based testing + Contract driven development

started 2018-07-09 16:52:42 UTC

2018-11-03 13:03:01 UTC

Simon Van Casteren

15

replies

[Ur] calling javascript code in <dyn>

started 2018-07-05 01:10:57 UTC

2018-10-25 20:03:07 UTC

Adam Chlipala

5

replies

[Ur] Tooling: type of an expression

started 2018-10-11 05:22:24 UTC

2018-10-24 17:56:12 UTC

Adam Chlipala

0

replies

[Ur] Should we have contributor guidelines for the Ur/Web project?

started 2018-10-20 02:41:44 UTC

2018-10-20 02:41:44 UTC

Adam Chlipala

9

replies

[Ur] Error compiling "Anonymous function remains at code generation"

started 2018-09-19 03:01:57 UTC

2018-09-29 23:23:53 UTC

Fabrice Leal

3

replies

[Ur] Parsing text files

started 2018-09-18 01:11:51 UTC

2018-09-18 02:18:22 UTC

Benjamin Barenblat

3

replies

[Ur] about the UrFlow Demos

started 2018-09-11 01:44:21 UTC

2018-09-11 16:41:10 UTC

Adam Chlipala

0

replies

[Ur] Interested in getting involved with a startup company?

started 2018-08-23 04:08:33 UTC

2018-08-23 04:08:33 UTC

Adam Chlipala

0

replies

[Ur] Project binary milestone of the year

started 2018-08-19 19:13:28 UTC

2018-08-19 19:13:28 UTC

Adam Chlipala

2

replies

[Ur] Struggling to figure out mapping of record

started 2018-08-18 17:43:30 UTC

2018-08-18 22:48:54 UTC

Simon Van Casteren

2

replies

[Ur] Reading files uploaded by a user

started 2018-08-12 01:34:28 UTC

2018-08-12 14:33:25 UTC

Simon Van Casteren

0

replies

[Ur] Client-side form validation

started 2018-07-18 08:39:37 UTC

2018-07-18 08:39:37 UTC

Artyom Shalkhakov

4

replies

[Ur] about <canvas>

started 2018-06-21 14:11:43 UTC

2018-06-23 20:28:40 UTC

Artyom Shalkhakov

0

replies

[Ur] New release

started 2018-06-16 22:32:55 UTC

2018-06-16 22:32:55 UTC

Adam Chlipala

3

replies

[Ur] Thoughts on cryptographic hashing for Ur/Web standard library?

started 2018-05-20 02:13:56 UTC

2018-05-25 23:58:47 UTC

Adam Chlipala

3

replies

[Ur] Multitenancy

started 2018-05-14 00:00:40 UTC

2018-05-14 08:11:08 UTC

Artyom Shalkhakov

2

replies

[Ur] SVG Test based on ListEdit.ur

started 2018-05-02 03:04:48 UTC

2018-05-02 05:35:24 UTC

Jonas Mellin

5

replies

[Ur] UR/Web SVG (ffi) question

started 2018-04-16 13:58:15 UTC

2018-04-17 18:44:19 UTC

Adam Chlipala

11

replies

[Ur] Forms that call rpc instead of redirect

started 2018-02-12 03:10:01 UTC

2018-02-13 08:03:39 UTC

Aistis Raulinaitis

3

replies

[Ur] Key-value store extension

started 2018-01-29 21:43:10 UTC

2018-02-01 11:28:05 UTC

Ziv Scully

4

replies

[Ur] Extending Ur/Web

started 2017-09-26 02:46:17 UTC

2017-11-21 08:11:14 UTC

Harshita Kasera

6

replies

[Ur] Set / Update values within a structure

started 2017-11-10 09:42:22 UTC

2017-11-11 23:22:50 UTC

Ziv Scully

5

replies

[Ur] Research topic one semester Ur/Wev or dependent typer

started 2017-11-10 14:13:02 UTC

2017-11-10 20:13:27 UTC

Daniel Agota

2

replies

[Ur] Structure within let

started 2017-11-09 15:10:59 UTC

2017-11-09 19:19:12 UTC

Adam Chlipala

5

replies

[Ur] No sql_injectable(_prim) xbody (or xml in general).

started 2017-11-03 00:59:19 UTC

2017-11-03 19:08:07 UTC

Adam Chlipala

5

replies

[Ur] Ur record types as sets of fields

started 2017-11-02 05:26:56 UTC

2017-11-03 17:29:10 UTC

Adam Chlipala

2

replies

[Ur] RPC call line throwing error

started 2017-10-25 04:56:16 UTC

2017-11-02 00:40:08 UTC

Adam Chlipala

0

replies

[Ur] How to get promise return value in UrWeb Javascript FFI

started 2017-10-29 13:18:07 UTC

2017-10-29 13:18:07 UTC

Nitin Surana

7

replies

[Ur] Arrays and maps?

started 2017-07-22 20:59:15 UTC

2017-08-10 19:31:17 UTC

Adam Chlipala