| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Start implementing a Number moduleHEADmaster |  Benjamin Barenblat | 2015-05-23 |
| * | 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 |