Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Give functor.lac a 'main' | 2008-06-19 | |
* | Corifying functors | 2008-06-19 | |
* | Elaborating functor applications | 2008-06-19 | |
* | Subtyping for functor signatures | 2008-06-19 | |
* | Elaborating 'where' | 2008-06-19 | |
* | Beginning of functor elaboration | 2008-06-19 | |
* | Functor parsing | 2008-06-19 |