Jay McCarthy
|
a89d757639
|
Using configure-runtime
original commit: 4fe07902d98e1953574b37e1fea5c3890ce1b6e9
|
2010-06-26 18:04:21 -06:00 |
|
Jay McCarthy
|
31bb2c96d5
|
Uses a more traditional read/expand/eval pipeline
original commit: c48d1b58b43a89c357c9fd883563b94f434c7eec
|
2010-06-26 15:25:22 -06:00 |
|
Jay McCarthy
|
062703ebba
|
Simplifying organization
original commit: 6d3d135f4cc3c480dda283c0c240040f3cf14930
|
2010-06-26 15:25:21 -06:00 |
|
Jay McCarthy
|
abb211b522
|
Reader refactor
original commit: f7210b20cfae1a7d05a8f2d93482b098adefd920
|
2010-06-26 13:30:59 -06:00 |
|
Jay McCarthy
|
ee39d5b701
|
Use capitalized letters for variables in paren version
original commit: 07142e230525211540dd080f1613f0cf5268b55b
|
2010-06-26 13:17:10 -06:00 |
|
Jay McCarthy
|
77b5b07e9b
|
Protecting :- outside clauses
original commit: b126303628f4b1870094949558f89e587b044c97
|
2010-06-26 13:08:10 -06:00 |
|
Jay McCarthy
|
1e0f7514bc
|
Using current-read-interaction and renabling adapted tutorial
original commit: 8afc06c09679827189aa8f5918cb914f6a02d731
|
2010-06-25 22:36:13 -06:00 |
|
Jay McCarthy
|
5287b0c6cf
|
Removing old sexp library and correct docs for warning
original commit: 0bda9efa9650cc5ddd73f42244e3a91f67799f66
|
2010-06-25 22:36:13 -06:00 |
|
Jay McCarthy
|
f365b561dd
|
Moving tests
original commit: e90de7196d85efeb01f760ddfc3b711aa40f2cb3
|
2010-06-25 22:36:12 -06:00 |
|
Jay McCarthy
|
fbeb110aff
|
Datalog docs
original commit: e8ef7dcaa5b9e6d93e801fa149214b73d2d80377
|
2010-06-25 17:08:14 -06:00 |
|
Jay McCarthy
|
042a0a5dbb
|
Paren datalog
original commit: c1e7bf62f724160796c610028d421861f61bfad1
|
2010-06-25 17:08:13 -06:00 |
|
Jay McCarthy
|
1ae2f94781
|
Paren examples
original commit: 8636c4ee362add3bad7437b5a062bbb5bd210cc1
|
2010-06-25 17:08:13 -06:00 |
|
Jay McCarthy
|
d7ffe1ef99
|
docs
original commit: a98547b033c8036ec5f73754d027f5c992509b74
|
2010-06-25 17:08:13 -06:00 |
|
Jay McCarthy
|
a14e87e56f
|
Tests
original commit: 73b4059adece873e39485e471deb2079710bdad0
|
2010-06-25 17:08:13 -06:00 |
|
Jay McCarthy
|
cd74d2dd5b
|
Typo
original commit: e752682879b32883092f8bd9eaa4b4535a029518
|
2010-06-25 17:08:13 -06:00 |
|
Jay McCarthy
|
80a32fb213
|
Clean up
original commit: 33f5d9059243e434d2677118d7b974dea190e5f5
|
2010-06-25 17:08:13 -06:00 |
|
Jay McCarthy
|
83e858254f
|
Removing tool and using new repl submit
original commit: ee8477ca137c333508a43f4e039e63082d0b64c1
|
2010-06-25 17:08:13 -06:00 |
|
Jay McCarthy
|
aaa66de05a
|
Cleaning up printer
original commit: 80da9872e0b0aad0890988dcead6badeaa5f20dc
|
2010-06-25 17:08:12 -06:00 |
|
Jay McCarthy
|
3c1a55e7bb
|
Removing pprint dependency
original commit: 353ef05902eedb148cb6c5b0391b58696c57162a
|
2010-06-25 17:08:12 -06:00 |
|
Jay McCarthy
|
43cf5339a2
|
Typo
original commit: 4bb6c1ddcfcfe401986b0d2223ea6fd11ca61079
|
2010-06-25 17:08:12 -06:00 |
|
Jay McCarthy
|
f257e8b1d0
|
Rackety
original commit: 09f6e5bee4fe98f3e3390aca1b255dd3006d7037
|
2010-06-25 17:08:12 -06:00 |
|
Jay McCarthy
|
c26d108e75
|
Initial add of Datalog
original commit: 940db1ab6c81cc04a9a856021eb4ccc0d88fac07
|
2010-06-25 17:08:11 -06:00 |
|
Sam Tobin-Hochstadt
|
5c82f510da
|
initial empty commit
original commit: 342561f34a1f123a138bc62d8ea4368cd2536143
|
2014-11-30 09:11:48 -05:00 |
|
Matthew Flatt
|
93a28ed14e
|
rename all files .ss -> .rkt
original commit: 28b404307793f041bb3363135a2968e283855318
|
2010-04-27 16:50:15 -06:00 |
|
Jay McCarthy
|
380eb82c43
|
Adding PLAI software to the core
svn: r18101
original commit: 520b4feedcffec518d067f5b2072cc5398dfa3ee
|
2010-02-16 18:56:44 +00:00 |
|
Jay McCarthy
|
dfb1da8e37
|
new units, contracts, tests
svn: r13852
original commit: 196ec00f16f726745f98d6d5b026213114d9a5e6
|
2009-02-26 17:09:26 +00:00 |
|
Matthew Flatt
|
f43cb23c83
|
import
original commit: ef3e87db5276124cf7e8fb67acc9a65860b5b3c4
|
1998-01-13 22:13:43 +00:00 |
|
Robby Findler
|
f514febf9d
|
importing
original commit: ae05c83e13001aa1db8b8ebba59bc715dd0dc085
|
1998-01-05 21:57:29 +00:00 |
|
Matthew Flatt
|
a5c2d46d36
|
startup
original commit: 3a0f0320d6b793ce1e5bf05aff04f77f67a0141c
|
1997-12-20 15:57:42 +00:00 |
|