Mercurial > hg > Members > atton > agda-proofs
log systemT/systemT.agda @ 26:d503a73186ce
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) |