search

stefan-hoeck / idris2-pack

BSD 3-Clause "New" or "Revised" License
90 stars 23 forks source link

[ style ] adhere to coding style guide #255

Closed stefan-hoeck closed 10 months ago