 Tony Garnock-Jones
|
40d474d456
|
Revert whitespace change
|
2019-08-18 15:16:36 +01:00 |
|
Tony Garnock-Jones
|
872ea562a2
|
Follow formatting convention
|
2019-08-18 15:15:11 +01:00 |
|
Tony Garnock-Jones
|
37a12b3595
|
Cosmetic: remove trailing whitespace
|
2019-08-18 14:26:36 +01:00 |
|
Tony Garnock-Jones
|
4074699766
|
Alternative debug annotation example, plus explanation of why I think it needs changed like this
|
2019-08-18 14:24:53 +01:00 |
|
Tony Garnock-Jones
|
8d022a332a
|
Remark regarding annotation-reading modes
|
2019-08-18 14:24:24 +01:00 |
|
Tony Garnock-Jones
|
e38f56c1c3
|
Comment out example of integer record labels, and explain why I'm uneasy about it
|
2019-08-18 14:24:02 +01:00 |
|
Tony Garnock-Jones
|
2db315d140
|
Cosmetic: spacing
|
2019-08-18 14:23:29 +01:00 |
|
Tony Garnock-Jones
|
95e9167d78
|
Use explicit Unknown record in example
|
2019-08-18 14:23:16 +01:00 |
|
Tony Garnock-Jones
|
3556c98346
|
Tweak to canonicalization section.
|
2019-08-18 14:22:55 +01:00 |
|
Tony Garnock-Jones
|
5e89bfb2ca
|
Fix typos
|
2019-08-18 14:22:21 +01:00 |
|
Tony Garnock-Jones
|
c7bae6eff8
|
tag -> label; slot -> field
|
2019-08-18 14:21:35 +01:00 |
Christopher Lemmer Webber
|
17368c8961
|
Correct total ordering and canonicalization
|
2019-08-18 13:56:23 +01:00 |
|
Christopher Lemmer Webber
|
90ed5bc6d7
|
Be more precise when talking about records (rather than saying objects)
|
2019-08-18 13:56:23 +01:00 |
|
Christopher Lemmer Webber
|
bcd7dcba79
|
Typo fix: usually strings => usually symbols
|
2019-08-18 13:56:23 +01:00 |
|
Christopher Lemmer Webber
|
ba62d998ca
|
A few small nits fixed in the tutorial
|
2019-08-18 13:56:23 +01:00 |
|
Christopher Lemmer Webber
|
dca049ce46
|
Add Preserves tutorial
|
2019-08-18 13:56:23 +01:00 |
|
Tony Garnock-Jones
|
0365fd8c36
|
Clarify no-duplicates in syntaxes.
|
2019-08-18 13:56:13 +01:00 |
|
Tony Garnock-Jones
|
0aa7218523
|
Another test case
|
2019-08-18 13:51:26 +01:00 |
|
Tony Garnock-Jones
|
8ffa9ce915
|
More tests
|
2019-08-18 13:42:26 +01:00 |
|
Tony Garnock-Jones
|
9974002cad
|
Read angle-bracket delimited records in the Racket implementation
|
2019-08-18 13:40:59 +01:00 |
|
Christopher Lemmer Webber
|
c9a624839f
|
recurd7 -> record7
|
2019-08-15 13:51:24 -04:00 |
|
Tony Garnock-Jones
|
efd976ed90
|
Followup to previous commit
|
2019-08-12 00:09:13 +01:00 |
|
Tony Garnock-Jones
|
0f5f0630d2
|
Angle bracket S-exprs for Records!
|
2019-08-11 23:54:57 +01:00 |
|
Tony Garnock-Jones
|
74f9093c5e
|
Link to gitlab pages
|
2019-08-11 16:52:29 +01:00 |
|
Tony Garnock-Jones
|
05789f77cd
|
Aha! baseurl?
|
2019-08-11 16:26:38 +01:00 |
|
Tony Garnock-Jones
|
c058a4ca71
|
Tweak jekyll setup
|
2019-08-11 16:19:08 +01:00 |
|
Tony Garnock-Jones
|
7520067318
|
Try the jekyll image
|
2019-08-11 16:07:15 +01:00 |
|
Tony Garnock-Jones
|
78681265ee
|
.gitlab-ci.yml
|
2019-08-11 16:05:03 +01:00 |
|
Tony Garnock-Jones
|
423a3531f6
|
Improve clarity of simple example table. Closes #4.
|
2019-08-11 15:56:46 +01:00 |
|
Tony Garnock-Jones
|
a737a0cf18
|
Spacing is actually required here :-/
|
2019-08-11 15:25:43 +01:00 |
|
Tony Garnock-Jones
|
1cf1ab1707
|
New Q
|
2019-08-11 14:37:08 +01:00 |
|
Tony Garnock-Jones
|
bd6517e154
|
Don't overmatch symbols
|
2019-08-11 14:37:08 +01:00 |
|
Tony Garnock-Jones
|
672ee83be0
|
Begin factoring out test suite for cross-implementation use; begin updating Racket implementation to match (not finished)
|
2019-08-11 14:37:08 +01:00 |
|
Tony Garnock-Jones
|
892df1634a
|
LICENSE, NOTICE, README.md
|
2019-08-08 14:46:03 +01:00 |
|
Tony Garnock-Jones
|
a9bed81556
|
Restore removed "Notes" heading
|
2019-07-14 14:09:19 -04:00 |
|
Tony Garnock-Jones
|
f08e223cb0
|
Tweak
|
2019-07-13 22:26:29 -04:00 |
|
Tony Garnock-Jones
|
e2b859e55d
|
Major revision of binary syntax: placeholders; annotations; forbid empty format-C chunks
|
2019-07-13 22:20:22 -04:00 |
|
Tony Garnock-Jones
|
d349e89ea4
|
Update TODOs
|
2019-07-11 12:34:55 -04:00 |
|
Tony Garnock-Jones
|
098cbe58ac
|
hexchunk was a bad idea; introduce IOList instead
|
2019-07-11 12:34:47 -04:00 |
|
Tony Garnock-Jones
|
2b1e2f2fba
|
TODO note re testing of NaNs
|
2019-07-10 21:52:29 -04:00 |
|
Tony Garnock-Jones
|
7933e34766
|
More on annotations
|
2019-07-10 21:52:04 -04:00 |
|
Tony Garnock-Jones
|
c6700c2f2b
|
Another stab at why Symbols are special
|
2019-07-04 05:58:15 -04:00 |
|
Tony Garnock-Jones
|
04868a2309
|
Be explicit about expected type
|
2019-07-04 05:47:32 -04:00 |
|
Tony Garnock-Jones
|
681bb9705f
|
Symbols are actually special - without them there's a bootstrapping issue
This reverts commit df94b7a8c6.
|
2019-07-04 05:33:19 -04:00 |
|
Tony Garnock-Jones
|
df94b7a8c6
|
Tweak
|
2019-07-03 19:36:07 -04:00 |
|
Tony Garnock-Jones
|
7861341951
|
Cosmetic.
|
2019-07-03 19:35:56 -04:00 |
|
Tony Garnock-Jones
|
4a70364eda
|
Initial draft text re annotations
|
2019-07-04 00:33:37 +01:00 |
|
Tony Garnock-Jones
|
2c20de2730
|
Refine Racket Makefile
|
2019-07-01 21:47:21 +01:00 |
|
Tony Garnock-Jones
|
97cd007bab
|
Remove comment parsing from Racket implementation
|
2019-07-01 21:47:12 +01:00 |
|
Tony Garnock-Jones
|
0d0124f004
|
Remove comments, in prep for annotations replacing them
|
2019-07-01 21:31:49 +01:00 |