Mercurial > hg > Members > atton > delta_monad
comparison .hgtags @ 89:5411ce26d525
Defining DeltaM in Agda...
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 19 Jan 2015 11:48:41 +0900 |
parents | 47317adefa16 |
children | 2412ccc94117 |
comparison
equal
deleted
inserted
replaced
88:526186c4f298 | 89:5411ce26d525 |
---|