idris-php

Yes, really...

OTHER License

Stars
169
View Code on GitHub
Ecosystems: Haskell

Statistics for this project are still being loaded, please check back later.

Related Projects
coda

A language experiment -- irc.freenode.net ##coda

20 Aug 2017 159
idris-py

Python backend for Idris (generates Python source, not bytecode).

27 Apr 2015 124
ill

educational compiler for not (quite) toy languages

06 Mar 2016 21
stepeval

A program for evaluating a Haskell expression step-by-step

04 Feb 2010 50