Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Idris lexer: add support for doc comments | Tim Baumann | 2014-08-31 | 1 | -0/+1 |
* | Idris lexer: parse commented out type declarations as comments | Tim Baumann | 2014-08-31 | 1 | -0/+7 |
* | Idris: added examplefile | raichoo | 2014-03-04 | 1 | -0/+93 |