MirroredRepos/bat
1
0
Fork 0
mirror of https://github.com/sharkdp/bat.git synced 2025-11-20 00:35:53 +00:00
Code Issues Releases Wiki Activity
Files
f5a934c213fd5583e2b98772bea06b1fdbeb9eb6
bat/tests/syntax-tests/source/Idris2/test.idr
Denis Buzdalov d6cb3ba747 [ new ] Add support for Idris 2 programming language
2025-01-27 23:47:20 +03:00

1.6 KiB
Vendored
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink