This website requires JavaScript.
Explore
Help
Sign In
ehmry
/
preserves
forked from
syndicate-lang/preserves
Watch
1
Star
0
Fork
You've already forked preserves
0
Code
Issues
Pull Requests
Projects
Releases
Wiki
Activity
19
Commits
5
Branches
0
Tags
1.8
MiB
Rust
49.2%
TypeScript
25.6%
Racket
14%
Python
7.2%
Coq
1.3%
Other
2.6%
1d48216700
Go to file
HTTPS
Download ZIP
Download TAR.GZ
Download BUNDLE
Clone in VS Code
Cite this repository
APA
BibTeX
Cancel
Tony Garnock-Jones
1d48216700
Tweaks; python mapping
2018-09-24 18:34:07 +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
Single-colon pseudoselectors
2018-09-24 18:11:34 +01:00
preserve.md
Tweaks; python mapping
2018-09-24 18:34:07 +01:00
preserve.rkt
Rename codec --> preserve
2018-08-27 10:24:11 +01:00