Mercurial > hg > Members > atton > delta_monad
comparison 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 |
comparison
equal
deleted
inserted
replaced
83:6635a513f81a | 84:8c7bd8bf8092 |
---|