search

jonathanrlouie / idris-maven-plugin

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

Fix styling and linting issues - IdrisRunMojo #2

Closed jonathanrlouie closed 2 years ago