This website requires JavaScript.
Explore
Help
Register
Sign In
ivan
/
site
Watch
1
Star
0
Fork
0
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
61
Commits
2
Branches
0
Tags
08656d709a581e491caf138589b6e9425bad069c
Commit Graph
3 Commits
Include renames
Author
SHA1
Message
Date
ivan
2b5d986e17
remove useless dune stuff
2022-08-30 11:46:16 -06:00
ivan
e6927ec949
update dune for deploy
2022-08-30 11:44:46 -06:00
ivan
7d38de6435
now in ocaml
2022-08-29 21:04:10 -06:00