alexhumphreys/hello-idris2

A template for idris projects

Makefile