[Idris]

  • Home
  • Download
  • Example
  • Documentation
  • News

New site

Thu 27 February 2020
By Edwin

In News.

tags: meta

This is the new web site for Idris 2

Categories

  • News

Social

  • atom feed
  • @idrislang
  • GitHub
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.