Mercurial > hg > Members > kono > Proof > automaton
log
age | author | description |
---|---|---|
2018-11-05 | Shinji KONO | exits done but not so goot |
2018-11-05 | Shinji KONO | ... |
2018-11-05 | Shinji KONO | improve finite |
2018-11-04 | Shinji KONO | how to use Data.Fin |
Loading... |