extern/bat
1
0
Fork 0
mirror of https://github.com/sharkdp/bat.git synced 2025-04-29 05:58:26 +02:00
Code Issues Packages Projects Releases Wiki Activity
9272e09058
bat/tests/syntax-tests/source/Idris2
History
Denis Buzdalov d6cb3ba747 [ new ] Add support for Idris 2 programming language
2025-01-27 23:47:20 +03:00
..
LICENSE.md [ new ] Add support for Idris 2 programming language 2025-01-27 23:47:20 +03:00
test.idr [ new ] Add support for Idris 2 programming language 2025-01-27 23:47:20 +03:00