Age | Commit message (Expand) | Author |
---|---|---|
2017-11-08 | Use Zarith instead of Num for computing numbers | Sébastien Dailly |
2016-11-15 | Initial commit | Sébastien Dailly |
index : licht.git | ||
Lightweight spreasheet in OCaml | Sébastien Dailly |
aboutsummaryrefslogtreecommitdiff |
Age | Commit message (Expand) | Author |
---|---|---|
2017-11-08 | Use Zarith instead of Num for computing numbers | Sébastien Dailly |
2016-11-15 | Initial commit | Sébastien Dailly |