log systemT/int.agda @ 1:fe247f476ecb

age author description
Sun, 02 Nov 2014 09:40:54 +0900 Yasutaka Higa Migrate systemT from atton/agda/systemT (13:5a81867278af)