Commit Graph

19 Commits

Author SHA1 Message Date
Suzanne Soy
218e886271 Renamed main branch 2021-04-04 07:23:06 +01:00
Suzanne Soy
5a36e5ae4d Renamed main branch 2021-04-04 07:18:30 +01:00
Suzanne Soy
35432bf754 Turn off coverage in older versions 2021-03-05 04:20:23 +00:00
Suzanne Soy
1fe7f0f43a Changed my name :) 2021-03-04 20:52:34 +00:00
Suzanne Soy
e436a8d8db Changed my name :) 2021-03-04 20:43:48 +00:00
Georges Dupéron
da227b14ca Updated Racket versions in .travis.yml 2019-04-24 22:43:50 +02:00
Georges Dupéron
c6a03864eb Use only typed-map-lib, not typed-map 2017-01-13 01:17:18 +01:00
Georges Dupéron
5cc39371b8 A few changes to the typed syntax types 2017-01-13 00:59:18 +01:00
Georges Dupéron
ee8e7dd7cc Fixed compatibility with Racket 6.7 2017-01-12 19:51:20 +01:00
Georges Dupéron
85e4f1412a Fixed compatibility with Racket 6.7 2017-01-12 19:43:06 +01:00
Georges Dupéron
07a8f4d9e4 Fixed compatibility with Racket 6.7 2017-01-12 19:39:11 +01:00
Georges Dupéron
b1062ecfb1 Moved typed-syntax files out of hyper-literate 2017-01-12 19:02:17 +01:00
Georges Dupéron
b6ac74692d Implemented ivector, with gen:custom-write so that they display like vectors. Store the elements inside a vector, and use an impersonator to make it appear as a list. 2017-01-08 01:33:51 +01:00
Georges Dupéron
f77e3dcdcf Revert "Failed attempt at disguising a vector as struct using make-struct-info, struct/c (which TR uses internally in make-predicate) seems to ignore the predicate supplied to make-struct-info."
This reverts commit 513c94b991.
2017-01-08 00:04:39 +01:00
Georges Dupéron
513c94b991 Failed attempt at disguising a vector as struct using make-struct-info, struct/c (which TR uses internally in make-predicate) seems to ignore the predicate supplied to make-struct-info. 2017-01-08 00:04:00 +01:00
Georges Dupéron
741c89f5fd Filled in README 2017-01-07 23:18:00 +01:00
Georges Dupéron
984a8b38e0 Remove -p option for raco test, remove non-working old versions from .travis.yml 2017-01-07 23:06:11 +01:00
Georges Dupéron
54f951bb8b Tests, doc-coverage, dependencies 2017-01-07 23:01:13 +01:00
Georges Dupéron
07b1af11d2 Initial commit 2017-01-07 22:26:19 +01:00