Georges Dupéron
|
99c63ecd55
|
Moved typed-syntax files to tr-immutable.
|
2017-01-12 19:03:27 +01:00 |
|
Georges Dupéron
|
deca84c956
|
Finally managed to get syntax-properties-typed.rkt to typecheck, without relying on (Syntaxof Any) in the First-Comments and Comments-After types. The predicates are horrible to write, though :-(
|
2017-01-12 05:03:10 +01:00 |
|
Georges Dupéron
|
dc1561e595
|
Further work on typed syntax
|
2017-01-11 03:58:37 +01:00 |
|
Georges Dupéron
|
3b59681010
|
Provide stuff
|
2017-01-10 23:04:17 +01:00 |
|
Georges Dupéron
|
10a5663ddf
|
Cleaned up hiding/restoring comments, partially typed
|
2017-01-10 15:54:34 +01:00 |
|