This repository has been archived on 2024-06-20. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.
coffee.pygments/tests/examplefiles/idris
2021-12-03 15:40:45 +01:00
..
test.idr Also add auto-updatable output-based tests to examplefiles (#1689) 2021-01-20 10:48:45 +01:00
test.idr.output Modernize Whitespace token in lexer: haskell 2021-12-03 15:40:45 +01:00