navigine/bat
1
0 Fork 0
mirror of https://github.com/sharkdp/bat.git synced 2026-10-27 20:19:22 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
a3f202f3677c8b5d13f45d0fb2b408ec1175fa89
bat/tests/syntax-tests/highlighted/Idris2
T
History
…
..
test.idr
…