Idris2-boot/.gitignore

mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-12-30 00:04:55 +03:00
*~
*.ibc
*.ttc
*.ttm

idris2
runtests

libs/**/build
tests/**/output

src/YafflePaths.idr
Add `.gitignore` file This change adds the top-level "ignore" file for build artifacts. 2019-07-09 10:49:02 +03:00			`*~`
			`*.ibc`
fix implicit/brace block ambiguity in records 2019-07-27 02:16:35 +03:00			`*.ttc`
			`*.ttm`
Add `.gitignore` file This change adds the top-level "ignore" file for build artifacts. 2019-07-09 10:49:02 +03:00
			`idris2`
			`runtests`

			`libs/**/build`
			`tests/**/output`

			`src/YafflePaths.idr`