Mercurial > hg > Members > atton > agda-proofs
graph
-
Define code segment compose operator using type -> ds cast!Thu, 05 Jan 2017 03:07:32 +0000, by atton
-
Define code segment compose operator using type -> ds castThu, 05 Jan 2017 03:02:23 +0000, by atton
-
Cannot compose code segments has another type signature ...Wed, 04 Jan 2017 08:16:02 +0000, by atton