- MATLAB 85.6%
- Mathematica 12.3%
- Shell 2.1%
| doc | Add file: doc/miranda-man.1.txt | |
| extn | add extern lib: bignum.m | |
| work | resync with host | |
| now | resync with host | |
| README.md | Update links in README | |
Miranda
Miranda, the beautiful, the beautiful mother of this crazy Haskell.
Links
Miranda homepage -- A Non-strict Polymorphic Functional Language.
Miranda repo -- Updated to compile on modern systems.
David Turner at wikipedia.
Comparision of functional programming languages.
David Turner with Miranda Updates 2020. -- David Turner at Lambda Days 2020 with a 5 minutes introduction and invitation for the now open sourced Miranda.
David Turner: Open Sourcing Miranda (codesync)
David Turner: Open Sourcing Miranda (same at youtube)
krc -- KRC, a precursor to Miranda, is a simple lazy functional language designed and implemented by David Turner around 1979-81.
miranda.lua -- Miranda syntax highlighting for editor vis.
Books
Chris Clack, Colin Myers, Ellen Poon: Programming with Miranda (chapter 1+2), index page with links to all chapters .
Ian Holyer: Functional programming with Miranda -- University College London 1991, 228 pages.
Simon Thompson: Miranda -- The Craft of Functional Programming
Ralf Hinze: Einführung in die funktionale Programmierung mit Miranda. B.G.Teubner Stuttgart 1992, 345 pages. -- (books-on-demand)
Contact
This repository was created at 2022年08月01日.