Mercurial > hg > Members > atton > agda-proofs
log state/state.agda @ 14:31b1b7cc43cd
age | author | description |
---|---|---|
Tue, 03 May 2016 16:31:56 +0900 | Yasutaka Higa | Prove state is functor |
Tue, 03 May 2016 16:01:54 +0900 | Yasutaka Higa | Define state in agda |
Sun, 02 Nov 2014 09:42:55 +0900 | Yasutaka Higa | Start proof to State Monad |