| .. |
| CaseSplit.idr | Literate programming | 7 years ago |
| Client.idr | Add 'cwd' REPL command to show the current working directory | 6 years ago |
| Commands.idr | fix compile errors following merge | 7 years ago |
| MakeClause.idr | Refactor ident to reuse in IDEMode, fixes out of sync bug. | 6 years ago |
| Parser.idr | Refactor ident to reuse in IDEMode, fixes out of sync bug. | 6 years ago |
| REPL.idr | Literate programming | 7 years ago |
| SyntaxHighlight.idr | add type information for names found in metadata | 6 years ago |
| TokenLine.idr | Refactor ident to reuse in IDEMode, fixes out of sync bug. | 6 years ago |