Rob Rix
|
6724c834e5
|
Remove FixpointType.
|
2015-09-15 13:46:45 -04:00 |
|
Rob Rix
|
d23d646f66
|
Tree is CustomStringConvertible.
|
2015-09-15 12:52:07 -04:00 |
|
Rob Rix
|
5f66984cec
|
Tree is public.
|
2015-09-15 12:50:36 -04:00 |
|
Rob Rix
|
485565b4e4
|
Add a simple rose tree.
|
2015-09-15 12:49:39 -04:00 |
|
Rob Rix
|
871dc356dd
|
Tweak some things to make Xcode happy.
|
2015-09-15 12:34:53 -04:00 |
|
Rob Rix
|
93fd2acc81
|
Add 'prototype/' from commit 'a7fef6ced9d2b71dfdf5e6d8fb765ab0c0bc6be5'
git-subtree-dir: prototype
git-subtree-mainline: 0244ce39f68a04b515f32b2b8ea9a3e0228923c7
git-subtree-split: a7fef6ced9
|
2015-09-15 12:32:12 -04:00 |
|
Rob Rix
|
a7fef6ced9
|
Note the need for SES.
|
2015-09-11 16:35:02 -04:00 |
|
Rob Rix
|
8fa77ae595
|
Use the Pretty initializer to get the doc.
|
2015-09-11 11:48:17 -04:00 |
|
Rob Rix
|
30a4b2fca5
|
Add a test playground.
|
2015-09-11 11:45:46 -04:00 |
|
Rob Rix
|
5b6fc850f9
|
Diff uses indirect.
|
2015-09-11 11:40:01 -04:00 |
|
Rob Rix
|
367e3b0ebc
|
Diffing is defined over Fix.
|
2015-09-11 11:38:42 -04:00 |
|
Rob Rix
|
e829798d59
|
Rewrite the diff function as an initializer.
|
2015-09-11 11:35:51 -04:00 |
|
Rob Rix
|
8aa8f3d32f
|
Diff is public.
|
2015-09-11 11:34:15 -04:00 |
|
Rob Rix
|
29e3aaf361
|
Syntax, Fix, Doc, and Pretty are public.
|
2015-09-11 10:17:19 -04:00 |
|
Rob Rix
|
d118fc5dfe
|
Parser state has public fields.
|
2015-09-11 10:03:52 -04:00 |
|
Rob Rix
|
1e0d71e42d
|
Clean up the test file.
|
2015-09-11 09:59:59 -04:00 |
|
Rob Rix
|
2bbb132d7e
|
Parsing is public.
|
2015-09-11 09:59:40 -04:00 |
|
Rob Rix
|
264f0943c9
|
Migrate syntax and stuff.
|
2015-09-09 14:59:08 -04:00 |
|
Rob Rix
|
d4b52967a8
|
Add .gitignore.
|
2015-09-08 12:14:00 -04:00 |
|
Rob Rix
|
a3c91b7aa1
|
Pretty equality.
|
2015-07-18 15:47:25 -04:00 |
|
Rob Rix
|
bed4b7bca9
|
Matuschak denormalization of ==.
|
2015-07-18 15:46:34 -04:00 |
|
Rob Rix
|
5e0f00edce
|
The codes.
|
2015-07-18 15:43:49 -04:00 |
|
Rob Rix
|
d307218981
|
Ignore some stuff.
|
2015-07-18 15:43:12 -04:00 |
|