Mercurial > hg > Members > atton > agda-proofs
graph
-
Trying define codesegment using named-product with subtype2017-01-02, by atton
-
Trying define codesegment using subtype2017-01-02, by atton
-
Set with constraint2017-01-02, by atton
-
Set with constraint2017-01-02, by atton
-
Trying Set with constraint...2017-01-02, by atton
-
Trying Set with constraint...2017-01-01, by atton
-
Prove associativity of code segment composition2016-12-30, by atton
-
Update Agda to 2.5.22016-12-30, by atton
-
Trying define n-push...2016-12-23, by atton
-
Rewrite cs composition style2016-12-23, by atton
-
ReWrite stack.agda using product type definition2016-12-23, by atton
-
Split cbc type definition using product2016-12-23, by atton
-
Embed function body to codesegment2016-12-23, by atton
-
Add data version CodeSegment2016-12-23, by atton
-
Test Implicit inference equivalence of function composition2016-12-23, by atton
-
Define cs compose operator2016-12-22, by atton
-
Merge 20:d924de5deb702016-12-18, by atton
-
Define code segment execution2016-12-18, by atton
-
Trying define output data segment2016-12-18, by atton
-
Trying define input data segment2016-12-18, by atton
-
Add variable-tuple2016-12-18, by atton
-
Define tuple compose2016-12-17, by atton
-
Add Dockerfile which build Agda 2.5.1.12016-10-18, by Yasutaka Higa
-
Prove state is functor2016-05-03, by Yasutaka Higa
-
Define state in agda2016-05-03, by Yasutaka Higa
-
Trying LTL2015-12-11, by Yasutaka Higa
-
Add example for Natural Transformation (head)2015-01-20, by Yasutaka Higa
-
Improve NaturalTransformation definition2015-01-20, by Yasutaka Higa
-
fmap for nested functor without implicit level2015-01-18, by Yasutaka Higa
-
Example for implicit-level functor2015-01-18, by Yasutaka Higa
-
Example for natural transformation2015-01-17, by Yasutaka Higa
-
Add functor example2015-01-15, by Yasutaka Higa
-
Add sample for type class in Agda2015-01-15, by Yasutaka Higa
-
Start proof to State Monad2014-11-02, by Yasutaka Higa
-
Migrate moggi from atton/agda/moggi (0:530373ccbcee)2014-11-02, by Yasutaka Higa
-
Migrate systemF from atton/agda/systemF (32:fe231950824a)2014-11-02, by Yasutaka Higa
-
Migrate systemT from atton/agda/systemT (13:5a81867278af)2014-11-02, by Yasutaka Higa
-
Initial commit2014-11-02, by Yasutaka Higa