Tony Garnock-Jones
|
f4beba8b7a
|
Update TODO.md
|
2019-08-18 23:06:28 +01:00 |
Tony Garnock-Jones
|
389b74bf87
|
Tweak
|
2019-08-18 22:45:57 +01:00 |
Tony Garnock-Jones
|
8f205ea0ca
|
Acknowledge influences
|
2019-08-18 22:42:23 +01:00 |
Tony Garnock-Jones
|
d7daa7dd02
|
Note on wrapper for sizing
|
2019-08-18 22:42:17 +01:00 |
Tony Garnock-Jones
|
9f61059449
|
Proper layouting
|
2019-08-18 22:08:55 +01:00 |
Tony Garnock-Jones
|
fc0ee42a98
|
Fix PDF generation
|
2019-08-18 17:52:11 +01:00 |
Tony Garnock-Jones
|
9064258dbc
|
Split out inessential text from the spec
|
2019-08-18 17:51:26 +01:00 |
Tony Garnock-Jones
|
1bb7e1862e
|
Fix byte string output for control characters
|
2019-08-18 17:40:44 +01:00 |
Tony Garnock-Jones
|
467da29c56
|
WIP: write-preserve, preserve->string
|
2019-08-18 17:34:42 +01:00 |
Tony Garnock-Jones
|
6221bdf5c7
|
Fancy quotes
|
2019-08-18 16:51:59 +01:00 |
Tony Garnock-Jones
|
3c676cb3de
|
Avoid confusing dashes/numerics in symunicode at start of a symbol
|
2019-08-18 16:51:46 +01:00 |
Tony Garnock-Jones
|
7d2ffe640d
|
Title, stylesheet link, highlighter config, and simple approximate highlighting
|
2019-08-18 16:39:53 +01:00 |
Christopher Lemmer Webber
|
1a84c3f609
|
Move from TUTORIAL.org -> TUTORIAL.md
|
2019-08-18 11:11:12 -04:00 |
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 |