Mercurial > hg > Members > atton > agda > systemF

comparison int.agda @ 32:fe231950824a default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Define not in SystemT
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Wed, 11 Jun 2014 16:47:20 +0900
parents 42027b9a70ef
children
comparison
equal deleted inserted replaced
31:ca278492b95f 32:fe231950824a