snazzybucket

Nightly docker builds of master of idris2 with idris2api installed

Nightly docker builds of idris2, the functional programming language with first class types