log

age author description
2016-12-23 atton Test Implicit inference equivalence of function composition
2016-12-22 atton Define cs compose operator
2016-12-18 atton Merge 20:d924de5deb70
2016-12-18 atton Define code segment execution
2016-12-18 atton Trying define output data segment
2016-12-18 atton Trying define input data segment
2016-12-18 atton Add variable-tuple
2016-12-17 atton Define tuple compose
2016-10-18 Yasutaka Higa Add Dockerfile which build Agda 2.5.1.1
2016-05-03 Yasutaka Higa Prove state is functor
2016-05-03 Yasutaka Higa Define state in agda
2015-12-11 Yasutaka Higa Trying LTL
2015-01-20 Yasutaka Higa Add example for Natural Transformation (head)
2015-01-20 Yasutaka Higa Improve NaturalTransformation definition
2015-01-18 Yasutaka Higa fmap for nested functor without implicit level
2015-01-18 Yasutaka Higa Example for implicit-level functor
2015-01-17 Yasutaka Higa Example for natural transformation
2015-01-15 Yasutaka Higa Add functor example
2015-01-15 Yasutaka Higa Add sample for type class in Agda
2014-11-02 Yasutaka Higa Start proof to State Monad
2014-11-02 Yasutaka Higa Migrate moggi from atton/agda/moggi (0:530373ccbcee)
2014-11-02 Yasutaka Higa Migrate systemF from atton/agda/systemF (32:fe231950824a)
2014-11-02 Yasutaka Higa Migrate systemT from atton/agda/systemT (13:5a81867278af)
2014-11-02 Yasutaka Higa Initial commit