search

jonathanrlouie / idris-maven-plugin

A Maven plugin for Idris 2
The Unlicense
1 stars 0 forks source link

Test linting workflow #1

Closed jonathanrlouie closed 2 years ago