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

activemirror

Tony Garnock-Jones e2e4d23e23 Jekyll _config.yml		2019-06-30 23:43:51 +01:00
historical	Move codec.md into historical folder	2018-09-29 17:10:08 +01:00
implementations	Some tests of IEEE754 totalOrder	2019-06-30 23:43:32 +01:00
.gitignore	Update .gitignores	2019-06-30 19:01:43 +01:00
Makefile	Rearrange repo	2018-09-29 17:27:59 +01:00
TODO.md	Notes and TODOs	2019-06-30 22:43:52 +01:00
_config.yml	Jekyll _config.yml	2019-06-30 23:43:51 +01:00
notes.mb.md	More notes	2019-06-30 22:45:10 +01:00
preserves.css	Rearrange repo	2018-09-29 17:27:59 +01:00
preserves.el	Tweaks	2019-04-26 08:33:43 +01:00
preserves.md	TODOs	2018-11-08 12:35:55 +00:00
quoting.rkt	Explore quoting.	2018-12-06 21:25:51 +00:00
quoting.v	Tighten	2018-12-07 11:06:08 +00:00