Mercurial > hg > Members > atton > agda > moggi
log moggi.agda @ 0:530373ccbcee default tip
age | author | description |
---|---|---|
Sun, 11 May 2014 19:32:45 +0900 | atton | Define 2.1 table default tip |
age | author | description |
---|---|---|
Sun, 11 May 2014 19:32:45 +0900 | atton | Define 2.1 table default tip |