| .. |
| CaseSplit.idr | Refactor identChar into the identLexer to have that definition in one place | 6 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 | Enhance literate mode to recognise multi-modes. | 6 years ago |
| Parser.idr | Fix casting Char to String | 6 years ago |
| REPL.idr | Remove chicken back end | 6 years ago |
| SyntaxHighlight.idr | add type information for names found in metadata | 6 years ago |
| TokenLine.idr | Fix merge fallout. | 6 years ago |