homebrew-idris

Ruby ★ 0 updated 12y ago

A set of Homebrew Formulas for the Idris programming language.

No plain-English explanation yet — one is being written right now. Check back in a minute.