Merge pull request #973 from CodeBlock/idris

Add an Idris template

Merge pull request #973 from CodeBlock/idris
Add an Idris template
fdc303bb · Carl Suster · cdfef4a8 · fef9e2d8 · fdc303bb
隐藏空白更改
内联并排

Showing with 2 addition and 0 deletion

Idris.gitignore Idris.gitignore +2 -0

未找到文件。
--- a/Idris.gitignore
+++ b/Idris.gitignore
+*.ibc
+*.o