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/[email protected]
$ koka-0.7.1

This version is required to build Madoko.

$ brew install spl/koka/[email protected]
$ 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 [email protected] 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