| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Add Functor and Monad classes |  Benjamin Barenblat | 2015-04-24 |
| | | |||
| * | 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 |