Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Explifying functors | Adam Chlipala | 2008-06-19 | |
* | Elaborating functor applications | Adam Chlipala | 2008-06-19 | |
* | Elaborating 'where' | Adam Chlipala | 2008-06-19 | |
* | Beginning of functor elaboration | Adam Chlipala | 2008-06-19 | |
* | Explify | Adam Chlipala | 2008-06-19 |