aboutsummaryrefslogtreecommitdiff
path: root/elements/timer.ml
AgeCommit message (Expand)Author
2021-01-03Communication with webworkerSébastien Dailly
2021-01-01Use first type module instead of functorsSébastien Dailly
2020-12-23Add svg outputSébastien Dailly