🍻 Default formulae for the missing package manager for macOS

RossMeikleham f29cb8d095 idris 0.9.19 ... idris 0.9.19 (version update) Closes Homebrew/homebrew#43774. Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>		2015-09-12 04:41:36 +01:00
Aliases	fix broken aliases	2015-09-06 20:15:37 +08:00
Formula	idris 0.9.19	2015-09-12 04:41:36 +01:00