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
72
Commits
2
Branches
0
Tags
d73a8fcffaf0374fa2c84cad17ef63e2973d098f
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