homotopic-tech

Free and open source Haskell and Idris projects from http://homotopic.tech.