log
graph
tags
bookmarks
branches
changeset
browse
help
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 23:
(0)
tip
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
less
more
| rev 23:
(0)
tip