idris-lang/Idris-dev
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris-dev.git synced 2024-10-05 02:18:13 +03:00
Code Issues Projects Releases Wiki Activity
592d6c0595
Idris-dev/.travis.yml

2 lines
18 B
YAML
Raw Normal View History

Add travis.yml file
2012-10-29 03:45:12 +04:00
language: Haskell
Reference in New Issue Copy Permalink