New site

Thu 27 February 2020

By Edwin

tags: meta

This is the new web site for Idris 2

Social

Proudly powered by Pelican, which takes great advantage of Python (not Idris :)). Patches are welcome on github!

The theme is «notmyidea-cms», a modified version of «notmyidea», the default theme.