ur@impredicative.com

1

reply

[Ur] Improving JS VM (was: Re: Arrays and maps?)

started 2017-07-25 08:08:58 UTC

2017-08-10 19:30:18 UTC

Adam Chlipala

1

reply

[Ur] Simple form demos (client-side processing)

started 2017-07-13 19:51:23 UTC

2017-07-25 21:43:00 UTC

Artyom Shalkhakov

0

replies

[Ur] New release

started 2017-07-20 20:03:14 UTC

2017-07-20 20:03:14 UTC

Adam Chlipala

9

replies

[Ur] About clientOnly

started 2017-05-22 05:22:21 UTC

2017-07-16 06:15:32 UTC

Aistis Raulinaitis

2

replies

[Ur] Anything to squeeze in before a new Ur/Web release?

started 2017-07-13 01:55:42 UTC

2017-07-13 17:00:57 UTC

Adam Chlipala

3

replies

[Ur] Generating fresh name (gensym :: {Unit} -> Name).

started 2017-07-10 02:11:42 UTC

2017-07-10 04:32:24 UTC

Adam Chlipala

2

replies

[Ur] Multiple joins with an outer join

started 2017-07-03 23:58:41 UTC

2017-07-04 00:37:10 UTC

Athene Noctua

2

replies

[Ur] Invalid Link expression

started 2017-05-18 11:01:13 UTC

2017-05-18 11:34:37 UTC

Aistis Raulinaitis

2

replies

[Ur] race condition in urweb-email

started 2017-05-02 23:01:10 UTC

2017-05-14 22:04:38 UTC

Adam Chlipala

8

replies

[Ur] need help with unification and field name disjointness proof failures

started 2017-04-07 00:02:47 UTC

2017-05-14 21:34:02 UTC

Adam Chlipala

1

reply

[Ur] expressing non-emptiness?

started 2017-05-11 03:25:16 UTC

2017-05-11 03:31:49 UTC

Adam Chlipala

2

replies

[Ur] Handling the POST request

started 2017-05-10 08:34:27 UTC

2017-05-10 09:18:58 UTC

Jeevjyot Chhabda

5

replies

[Ur] EUnurlify in code to be compiled to JavaScript[2]?

started 2017-04-20 00:58:27 UTC

2017-05-01 18:49:54 UTC

Adam Chlipala

5

replies

[Ur] fastCGI backend and POST /.msgs HTTP/1.1 requests

started 2017-04-14 03:35:54 UTC

2017-04-30 22:16:23 UTC

Adam Chlipala

4

replies

[Ur] [Ur/Web Ffi: JavaScript]

started 2017-04-25 08:54:54 UTC

2017-04-25 20:41:07 UTC

Jeevjyot Chhabda

0

replies

[Ur] issues with emacs mode

started 2017-04-19 18:59:19 UTC

2017-04-19 18:59:19 UTC

Marko Schütz Schmuck

9

replies

[Ur] Ur/Web people organizer: editable table with fixed (hidden) field?

started 2017-04-11 01:14:20 UTC

2017-04-17 22:58:22 UTC

Marko Schütz Schmuck

5

replies

[Ur] Ur on gitlab pages

started 2017-04-16 16:46:54 UTC

2017-04-17 19:12:25 UTC

Artyom Shalkhakov

0

replies

[Ur] Need help with UPO: Ckeditor,

started 2017-04-12 14:34:38 UTC

2017-04-12 14:34:38 UTC

Jeevjyot Chhabda

1

reply

[Ur] Need help with UPO: Ckeditor, Fail: Can't find variable: CKEDITOR?

started 2017-04-12 09:41:20 UTC

2017-04-12 11:14:51 UTC

Artyom Shalkhakov

8

replies

[Ur] solution to the DB chicken and egg problem?

started 2017-04-02 17:35:29 UTC

2017-04-04 23:28:36 UTC

Marko Schütz Schmuck

0

replies

[Ur] Shibboleth idp?

started 2017-04-03 23:57:02 UTC

2017-04-03 23:57:02 UTC

Marko Schütz Schmuck

4

replies

[Ur] <ctextinput source={s} /> looses input focus after every keypress

started 2017-04-03 15:38:40 UTC

2017-04-03 18:56:55 UTC

Sergey Mironov

1

reply

[Ur] Policy keyword?

started 2017-04-01 23:53:20 UTC

2017-04-01 23:57:41 UTC

Adam Chlipala

1

reply

[Ur] Inserting multiple tuples at once?

started 2017-03-31 22:27:33 UTC

2017-03-31 22:30:16 UTC

Adam Chlipala

1

reply

[Ur] pushing program parts into the DBMS?

started 2017-03-31 21:45:18 UTC

2017-03-31 21:50:00 UTC

Adam Chlipala

2

replies

[Ur] making a new instance of class show?

started 2017-03-31 02:17:35 UTC

2017-03-31 08:15:32 UTC

Artyom Shalkhakov

0

replies

[Ur] Ur/Web developer

started 2017-03-29 06:08:47 UTC

2017-03-29 06:08:47 UTC

f***@tuta.io

1

reply

[Ur] indentation style

started 2017-03-27 22:25:31 UTC

2017-03-27 22:38:17 UTC

Adam Chlipala

2

replies

[Ur] puzzled about unification error

started 2017-03-27 21:31:24 UTC

2017-03-27 21:59:19 UTC

Marko Schütz Schmuck