Giters

RossMeikleham / Idris-CI-Skeleton

Idris Continuous Integration Skeletons for Travis and Appveyor

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

#Idris Continuous Integration Skeleton

OSX + Linux Win x86 + x64
Build Status Build status

About

Idris Continuous Integration Skeletons for Travis and Appveyor

Languages

Language:Idris 100.0%