Blodwen is built using Idris, and provides support for three default code generation targets: Chez, Chicken, and Racket.
There are several sets of instructions on how to install Idris from source and binary.
- Official ipkg installer for macOS
- Source build instructions from the Idris GitHub Wiki
- Binary installation using Cabal from the Idris Manual
Chez Scheme is available to build from source:
Many popular package managers will provide a binary distribution for Chez.
Chicken scheme offers binary distributions (and source tar balls) from
You can find chicken in many a package manager.
After installing chicken scheme you may need to install the 'numbers' package.
Racket is available from: