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
66
Commits
2
Branches
0
Tags
49e5e1a8b02d8fff88e6c42d0dcc6787960dc0be
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