Tony Garnock-Jones
|
226e909f2a
|
Additional test case. Somewhat confusing situation. Potential TODO
|
2016-03-10 12:23:27 +00:00 |
Sam Caldwell
|
23c482bb3e
|
fix build deps
|
2016-03-09 20:11:56 -05:00 |
Tony Garnock-Jones
|
1b887a7e8e
|
Improve file purpose statements
|
2016-03-09 13:29:13 +00:00 |
Tony Garnock-Jones
|
c97b39f9a9
|
Rearrange hs directory into an actual Haskell project
|
2016-03-09 13:15:23 +00:00 |
Tony Garnock-Jones
|
ee0442b3e4
|
Merge Haskell treetrie sketches
|
2016-03-09 09:32:58 +00:00 |
Sam Caldwell
|
fb40c147a8
|
rename highlevel scribbling
Because raco pain
|
2016-03-08 14:06:42 -05:00 |
Tony Garnock-Jones
|
4b23320532
|
Quickcheck tests.
|
2016-03-08 17:07:35 +00:00 |
Tony Garnock-Jones
|
b979dd9d70
|
Add descriptive comment.
|
2016-03-08 10:59:31 +00:00 |
Tony Garnock-Jones
|
fe6e83f19e
|
Switch from prefab to transparent for actor link structures.
|
2016-03-08 10:59:10 +00:00 |
Tony Garnock-Jones
|
f221063441
|
All-pairs shortest paths examples
|
2016-03-08 10:53:49 +00:00 |
Tony Garnock-Jones
|
5a9e51c640
|
Other implementations
|
2016-03-07 17:23:06 +00:00 |
Tony Garnock-Jones
|
54056da195
|
|
2016-03-07 17:22:15 +00:00 |
Tony Garnock-Jones
|
a7a23e29b4
|
Remove obsolete comments
|
2016-03-07 11:23:10 +00:00 |
Sam Caldwell
|
cd490853ba
|
fix and add a new comprehension test case
|
2016-03-04 18:16:36 -05:00 |
Sam Caldwell
|
326f1e34c1
|
document the during form
|
2016-03-04 15:52:38 -05:00 |
Sam Caldwell
|
27952df0c3
|
Add scribble documentation for high-level syntax
|
2016-03-04 15:40:07 -05:00 |
Tony Garnock-Jones
|
2a754624ef
|
Remove exn-util.rkt, because since 6.3 racket/exn exists.
|
2016-03-03 17:31:53 -05:00 |
Tony Garnock-Jones
|
30a5a924a3
|
More tweaks
|
2016-03-01 17:00:57 -05:00 |
Tony Garnock-Jones
|
ed3877e7b1
|
Use match-event more
|
2016-03-01 16:56:58 -05:00 |
Tony Garnock-Jones
|
a71e138e79
|
Entersenate.
|
2016-03-01 16:48:28 -05:00 |
Tony Garnock-Jones
|
c0b84e1915
|
Add match-event and accept void from behaviour functions
|
2016-03-01 16:45:29 -05:00 |
Tony Garnock-Jones
|
44b0903c91
|
Very toy "spreadsheet"
|
2016-02-29 23:35:19 -05:00 |
Tony Garnock-Jones
|
6e3e0fc8bc
|
Remove debug printing
|
2016-02-29 15:20:03 -05:00 |
Tony Garnock-Jones
|
73119c323f
|
Avoid use of for-trie in example for PLACES paper
|
2016-02-29 13:44:45 -05:00 |
Tony Garnock-Jones
|
79ea380afc
|
Update file purpose statement
|
2016-02-29 10:51:36 -05:00 |
Tony Garnock-Jones
|
07785e9232
|
Add "during".
|
2016-02-29 10:26:17 -05:00 |
Tony Garnock-Jones
|
5b328a1786
|
More file system variations
|
2016-02-29 09:43:25 -05:00 |
Tony Garnock-Jones
|
f8f61dd43d
|
Comprehensions now support internal definitions.
|
2016-02-29 09:21:05 -05:00 |
Tony Garnock-Jones
|
7fc1554230
|
Support internal definitions in comprehension macros.
|
2016-02-29 09:20:21 -05:00 |
Tony Garnock-Jones
|
95456a4fd5
|
Use for-trie/list in file-system-lll
|
2016-02-29 09:15:29 -05:00 |
Sam Caldwell
|
5d2cb21d29
|
Use finer-grained projections inside trie comprehensions
Fixes HEAD~2
|
2016-02-28 21:49:30 -05:00 |
Tony Garnock-Jones
|
438151f092
|
Low-level implementation of file system.
|
2016-02-28 21:33:53 -05:00 |
Tony Garnock-Jones
|
8832a22b30
|
Add a failing test case to comprehensions.rkt
|
2016-02-28 20:32:29 -05:00 |
Sam Caldwell
|
cd492df0c4
|
undo my stupid macrology
|
2016-02-27 21:13:37 -05:00 |
Sam Caldwell
|
874ba60f06
|
use trie comprehension in bank account example
|
2016-02-22 23:35:11 -05:00 |
Sam Caldwell
|
aa4e4afdde
|
fix trie comprehension hygiene-bending
|
2016-02-22 23:35:11 -05:00 |
Tony Garnock-Jones
|
62c0ce18a4
|
Comment explaining a little of the motivation for the previous commit.
|
2016-02-20 11:41:07 -05:00 |
Tony Garnock-Jones
|
92be8eaf70
|
Only respond to link-results that are genuinely intended for us.
This can be a concern if some facet subscribes to wildcard. An improved design
would ensure facets only receive events that fall within its interests.
|
2016-02-19 20:10:26 -05:00 |
Sam Caldwell
|
96fe9f46e1
|
add an effectful trie comprehension
|
2016-02-19 18:46:59 -05:00 |
Sam Caldwell
|
b7775efd9b
|
Raise an error when trying to iterate over an infinite trie
|
2016-02-19 15:38:43 -05:00 |
Sam Caldwell
|
a045d54071
|
Bind variables in lexical order
Fixes #12
|
2016-02-12 19:30:00 -05:00 |
Tony Garnock-Jones
|
935fb98a1f
|
Echo-cancel assertions, following syndicate/racket.
|
2016-02-11 23:56:42 -05:00 |
Tony Garnock-Jones
|
817bfd7517
|
When acting-pid is 'meta, take the entire delta as the delta-aggregate.
This is correct because now that we have echo-cancelled SCNs, incoming
SCNs from the metalevel are *always* new information for the contained
actors.
|
2016-02-11 23:50:37 -05:00 |
Tony Garnock-Jones
|
e9b431c50f
|
triePruneBranch; preparation for echo-cancellation of SCNs
|
2016-02-11 22:51:26 -05:00 |
Tony Garnock-Jones
|
c3b2df00cd
|
Compute affected peers by the aggregate change, not the incoming action.
|
2016-02-11 22:28:04 -05:00 |
Tony Garnock-Jones
|
01b6bf92ee
|
Echo cancellation for prospect.
|
2016-02-11 22:26:53 -05:00 |
Tony Garnock-Jones
|
fd7dc03dc6
|
Echo cancellation for prospect-monolithic. Still deciding how best to address incremental variant.
|
2016-02-07 19:32:38 -05:00 |
Tony Garnock-Jones
|
1b05122db4
|
Fix monolithic pretty-printing of SCNs
|
2016-02-07 16:17:47 -05:00 |
Tony Garnock-Jones
|
1e4415e30b
|
Failing test case, more or less.
|
2016-02-07 16:17:20 -05:00 |
Tony Garnock-Jones
|
d29fb17ad6
|
Update README.
|
2016-02-07 14:46:42 -05:00 |