MirroredRepos/bat
1
0
Fork 0
mirror of https://github.com/sharkdp/bat.git synced 2025-02-13 08:28:57 +00:00
Code Issues Releases Wiki Activity
bat/tests/syntax-tests/source/Idris2/LICENSE.md
Denis Buzdalov d6cb3ba747 [ new ] Add support for Idris 2 programming language
2025-01-27 23:47:20 +03:00

335 B
Vendored
Raw Blame History

The test.idr file has been added from https://github.com/buzden/sublime-syntax-idris2 under the following license:

Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at

http://www.apache.org/licenses/LICENSE-2.0