README
The Noether programming language -------------------------------- .. image:: doc/img/logo3.png :alt: Noether ---- A prototype implementation on top of Idris is in (very) early development. This and the `design documentation`_ is `BSD-licensed`_. .. _`design documentation`: doc .. _`BSD-licensed`: LICENSE
Not written in Markdown, so it's shown here as plain text — view it formatted on GitHub.
Contributors
daira
21 commits
README
The Noether programming language -------------------------------- .. image:: doc/img/logo3.png :alt: Noether ---- A prototype implementation on top of Idris is in (very) early development. This and the `design documentation`_ is `BSD-licensed`_. .. _`design documentation`: doc .. _`BSD-licensed`: LICENSE
Not written in Markdown, so it's shown here as plain text — view it formatted on GitHub.
Contributors
daira
21 commits