Mercurial > hg > Members > atton > delta_monad

comparison agda/delta.agda @ 137:2bf1fa6d2006

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Adjust codes
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Sun, 15 Feb 2015 11:08:33 +0900
parents d205ff1e406f
children
comparison
equal deleted inserted replaced
136:b6dcbe8617a9 137:2bf1fa6d2006