Mercurial > hg > Members > atton > delta_monad
comparison agda/nat.agda @ 96:dfe8c67390bd
Unify Levels in delta
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 20 Jan 2015 16:25:53 +0900 |
parents | 4b16b485a4b2 |
children | a271f3ff1922 |
comparison
equal
deleted
inserted
replaced
95:cf372fbcebd8 | 96:dfe8c67390bd |
---|