Tony Garnock-Jones
|
d91c729772
|
Merge branch 'typeless' into syndicate
|
2018-01-22 16:46:42 +00:00 |
|
Tony Garnock-Jones
|
35430ecb2e
|
The Big Spawn/Actor Swap
|
2017-02-20 17:23:10 -05:00 |
|
Tony Garnock-Jones
|
3dbe108662
|
Update root zone info and add script for doing the update
|
2016-09-09 15:12:55 -04:00 |
|
Tony Garnock-Jones
|
53af1e0dd5
|
Progress on Syndicate conversion of proxy.rkt; doesn't run yet
|
2016-09-07 06:33:16 +01:00 |
|
Tony Garnock-Jones
|
aea344fd81
|
Updates for #:meta-level -> inbound/outbound and for (actor(relay...))->(actor...)
|
2016-09-05 14:33:28 +01:00 |
|
Tony Garnock-Jones
|
b7bdb4065e
|
Initial progress. driver.rkt runs; now on proxy.rkt
|
2016-06-06 17:07:33 -04:00 |
|
Tony Garnock-Jones
|
806bc1c0fe
|
Dust off tests.
|
2016-06-06 16:08:53 -04:00 |
|
Tony Garnock-Jones
|
dc3df20d9b
|
First pass at stripping types
|
2014-08-06 21:58:50 -07:00 |
|
Tony Garnock-Jones
|
fd73114fc3
|
bitsyntax is now a package
|
2014-05-30 19:23:08 -04:00 |
|
Tony Garnock-Jones
|
e9bb82743d
|
Update README
|
2014-05-23 12:24:38 -04:00 |
|
Tony Garnock-Jones
|
903aa1168b
|
Explicitly ignore DNSSEC uses of DNS header bits.
|
2014-05-14 15:36:06 -04:00 |
|
Tony Garnock-Jones
|
fe320d86ce
|
Update to extrasugar syntax
|
2013-06-10 17:04:10 -04:00 |
|
Tony Garnock-Jones
|
1c59eff9d3
|
Simple makefile
|
2013-05-31 13:16:36 -04:00 |
|
Tony Garnock-Jones
|
d6af03bf02
|
Fix up patterns for new stricter TR checking.
|
2013-05-31 13:16:28 -04:00 |
|
Tony Garnock-Jones
|
c4fa8e1881
|
README and GPLv3
|
2013-05-21 12:14:05 -04:00 |
|
Tony Garnock-Jones
|
e2f38da0e7
|
Initial commit extracted from racket-dns repo
|
2013-05-10 16:38:25 -04:00 |