Tony Garnock-Jones
|
44b6b5dcfa
|
On-screen display of active window ID.
|
2015-08-18 20:14:59 -04:00 |
|
Tony Garnock-Jones
|
5eb155cc11
|
big-bang example
|
2015-08-18 20:01:58 -04:00 |
|
Tony Garnock-Jones
|
02c5ee97d3
|
Echo server example
|
2015-08-18 12:45:29 -04:00 |
|
Tony Garnock-Jones
|
76eaa2fa39
|
Port websocket support from minimart
|
2015-06-06 17:15:43 -04:00 |
|
Tony Garnock-Jones
|
95bdd892f6
|
Initial work on endpoints for prospect
|
2015-05-11 18:25:38 -04:00 |
|
Tony Garnock-Jones
|
5ea3cf283f
|
Non-working backward-chaining experiment; observe one specific ancestry relationship.
|
2015-04-25 14:51:12 -04:00 |
|
Tony Garnock-Jones
|
a1bd9cd482
|
Add COUNT aggregate to forward-chaining example
|
2015-04-25 11:51:55 -04:00 |
|
Tony Garnock-Jones
|
e00f079871
|
Check whether avoiding delays maintains truth
|
2015-04-24 17:30:51 -04:00 |
|
Tony Garnock-Jones
|
7c77223255
|
Forward-chaining
|
2015-04-24 16:16:24 -04:00 |
|
Tony Garnock-Jones
|
c92beaa5bf
|
Fix semantics bug
|
2015-04-03 21:42:32 -04:00 |
|
Tony Garnock-Jones
|
1467912f57
|
Fix bug with incorrect dropped action.
|
2015-03-21 18:38:37 -04:00 |
|
Tony Garnock-Jones
|
cdb9e1cb07
|
Chat client example.
|
2015-03-06 13:58:36 +00:00 |
|
Tony Garnock-Jones
|
96247daae3
|
TCP driver; simple TCP example; chat room TCP example.
|
2015-03-06 13:29:59 +00:00 |
|
Tony Garnock-Jones
|
98bfbef056
|
Much improved quit/transition protocol.
|
2015-03-06 11:21:50 +00:00 |
|
Tony Garnock-Jones
|
6e552e724d
|
#lang prospect version of example
|
2015-03-05 19:56:11 +00:00 |
|
Tony Garnock-Jones
|
5d2ec58ef0
|
Demand-matcher; UDP driver; simple UDP example
|
2015-03-05 16:41:06 +00:00 |
|
Tony Garnock-Jones
|
e731282ddd
|
First running program; port some infrastructure from minimart
|
2015-03-05 14:54:12 +00:00 |