| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Start implementing a Number module |  Benjamin Barenblat | 10 years | |
| Age | Commit message | Author | ||
| 2015-05-23 | Start implementing a Number moduleHEADmaster | Benjamin Barenblat | ||
| 2015-04-24 | Add Functor and Monad classes | Benjamin Barenblat | ||
| 2015-04-24 | Add basic list support | Benjamin Barenblat | ||
| 2015-04-23 | Add readme and licence | Benjamin Barenblat | ||
| 2015-04-23 | Initial commit of B | Benjamin Barenblat | ||
| Clone | ||||
| https://git.benjamin.barenblat.name/B.git | ||||
| https://github.com/bbarenblat/B.git | ||||
 |
index : B | |
| a new way to look at the Agda standard library |
| aboutsummaryrefslogtreecommitdiff |