Mercurial > hg > Members > atton > agda-proofs

log

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 47: (0) -30 -10 -3 +3 +10 +30 tip
age author description
Thu, 05 Jan 2017 03:07:32 +0000 atton Define code segment compose operator using type -> ds cast!
Thu, 05 Jan 2017 03:02:23 +0000 atton Define code segment compose operator using type -> ds cast
Wed, 04 Jan 2017 08:16:02 +0000 atton Cannot compose code segments has another type signature ...
less more | rev 47: (0) -30 -10 -3 +3 +10 +30 tip