Mercurial > hg > Members > atton > delta_monad
diff agda/list.agda @ 84:8c7bd8bf8092
Define DeltaWithLog
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 04 Jan 2015 17:32:01 +0900 |
parents | 743c05b98dad |
children |
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 04 Jan 2015 17:32:01 +0900 |
parents | 743c05b98dad |
children |