A site for the maintenance of Professor Turner's work
DATurner/miranda
Miranda is Professor David Turner's pure, non-strict, polymorphic, higher order functional programming language, which was the main inspiration for Haskell. This repository is for its maintenance as Professor Turner died last year and I have the blessing of his family and of the University of Kent at Canterbury Computing Laboratory where he developed it. It is unlikely to have any bugs but has been updated to compile on modern systems.
Updated 2026年02月18日 04:51:09 +01:00
DATurner/krc
KRC, the modestly-named Kent Recursive Calculator, is a simple lazy pure functional language designed and implemented by Professor David Turner around 1979-81. His next language, Miranda, was the inspiration for Haskell so KRC is a sort of minimal Haskell that runs in little memory.
Updated 2025年11月01日 14:58:51 +01:00