search

jonathanrlouie / idris-maven-plugin

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

Fix remaining style issues #3

Closed jonathanrlouie closed 2 years ago