search

idream-build / idream

A simple build system for Idris
BSD 3-Clause "New" or "Revised" License
22 stars 2 forks source link

Choose handle mode per command (to make repl work) #10

Closed ejconlon closed 5 years ago