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
10
Commits
2
Branches
0
Tags
e36282150ea9b8f5d3a638eaed1028407d7ce789
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