Mercurial > hg > Members > atton > agda-proofs
log systemT/boolean.agda @ 16:62dfa11a8629
age | author | description |
---|---|---|
Sun, 02 Nov 2014 09:40:54 +0900 | Yasutaka Higa | Migrate systemT from atton/agda/systemT (13:5a81867278af) |
age | author | description |
---|---|---|
Sun, 02 Nov 2014 09:40:54 +0900 | Yasutaka Higa | Migrate systemT from atton/agda/systemT (13:5a81867278af) |