This repository contains Homebrew formulae for the following:
- Koka is a function-oriented strongly-typed language that separates pure values from side-effecting computations.
- Madoko is a markdown processor for academic documents that produces PDF and HTML.
The reason for the existence of this Homebrew tap is to make it easier to install Koka and, especially, Madoko, which is built with Koka. The current release of Madoko is very old, and building it from source is not easy and requires an old version of Koka.
This is the HEAD revision as of the time of writing. This is not a released version because there have been no releases since v0.7.1.
$ brew install spl/koka/koka
$ koka
This is the last release on GitHub.
$ brew install spl/koka/koka@0.7.1
$ koka-0.7.1
This version is required to build Madoko.
$ brew install spl/koka/koka@0.6.0-dev
$ koka-0.6.0-dev
This is the HEAD revision as of the time of writing. The last release, which is
very old, is available with npm install -g madoko.
Note: Madoko is built with koka-0.6.0-dev. Installing the madoko formula
will also install the koka@0.6.0-dev formula.
Note: Building Madoko may consume a large amount of memory. On my system with 16 GB of RAM, it took upwards of 18.3 GB. See koka-lang/madoko#10 for discussion of this issue.
$ brew install spl/koka/madoko
$ madoko