The Noether programming language

A prototype implementation on top of Idris is in (very) early development. This and the design documentation is BSD-licensed.

Failed to load latest commit information.
doc	More minor tweaks to concurrent GC in error handling talk slides.	May 5, 2017
nissa	Updates to Nissa readme.	Aug 27, 2015
on-idris	Change license to BSD 3-Clause, to match Idris.	Jun 15, 2014
.gitignore	Add Idris-related .gitignore entries from https://raw.githubuserconte…	May 20, 2014
LICENSE	Update LICENSE copyright date.	Aug 27, 2015
README.rst	Add logo to README and change it to .rst format.	Oct 25, 2014

noether-lang/noether