Add Github CI file, remove travis. - Githubissues

well-typed / generics-sop

Generic Programming using True Sums of Products

BSD 3-Clause "New" or "Revised" License

157 stars 48 forks source link

Add Github CI file, remove travis. #132

Closed kosmikus closed 3 years ago