This is a bare-bones website that serves as a playground for me to try new things in various languages.
The core website is generated from Idris source code.
- Idris. Installation instructions
bundle install --binstubs # install wkhtmltopdf make
Code is under GPL v3.