Mirror of https://gitlab.com/preserves/preserves

activemirror

Tony Garnock-Jones 02d67f7816 Notes on NaNs		2018-09-28 11:48:58 +01:00
Makefile	Split out CSS; attempt to get section numbering (grrr!)	2018-09-24 16:45:39 +01:00
codec.md	move codec.md together with preserve.md	2018-09-23 14:39:46 +01:00
preserve.css	Improve formatting now that section numbers exist	2018-09-24 19:54:23 +01:00
preserve.md	Notes on NaNs	2018-09-28 11:48:58 +01:00
preserve.py	Python preserves	2018-09-25 15:53:56 +01:00
preserve.rkt	More tests and fixes	2018-09-28 11:00:50 +01:00
test_preserve.py	Python preserves	2018-09-25 15:53:56 +01:00