idream

A simple build system for Idris

Archived

22 stars

1 watching

2 forks

Language: Haskell

last commit: over 3 years ago

Linked from 1 awesome list

Backlinks from these awesome lists:

joaomilho/awesome-idris