Timing attack resistant type systems
Stars
24
Forks
1
Watchers
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
38
commits
argument order
f983f63
comment in source
608698e
readibility
bfafeb9
fixed a dumb mistake
f7ff983
removed old lockfile
dd1e781
started work on adding bits
3333055
const Refl
1fd8c38
removed old code
6389da5
erasure
e3c7f7c
found a proof syntax I like
3fecbf3
removed accidental lockfile
c03fa68
eta-reduction and type cleanliness
b8b9ef4
make proofs nicer
329d804
more code cleanup
a4a1cd2
minor fixes
6448017