Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add basic list support | Benjamin Barenblat | 2015-04-24 |
* | Add readme and licence | Benjamin Barenblat | 2015-04-23 |
* | Initial commit of B | Benjamin Barenblat | 2015-04-23 |
index : B | ||
a new way to look at the Agda standard library |
aboutsummaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add basic list support | Benjamin Barenblat | 2015-04-24 |
* | Add readme and licence | Benjamin Barenblat | 2015-04-23 |
* | Initial commit of B | Benjamin Barenblat | 2015-04-23 |