preserves/implementations/racket/preserves
Tony Garnock-Jones 32ebebec34 Move racket preserves-tool out of the way (in favour of the rust one) 2021-08-10 08:40:11 -04:00
..
preserves Move racket preserves-tool out of the way (in favour of the rust one) 2021-08-10 08:40:11 -04:00
preserves-schema Repair error in schema include 2021-07-03 16:27:50 +02:00
.gitignore Move racket implementation one subdirectory deeper, to allow package name inference to work 2020-04-27 21:07:20 +02:00
Makefile The Great Renaming: Pointer -> Embedded 2021-05-17 14:54:06 +02:00
info.rkt Update Racket implementation 2021-01-23 22:54:27 +01:00