Pure, statically typed, content-addressable, programming language for spreadsheet use
-
Updated
May 2, 2023 - Haskell
Pure, statically typed, content-addressable, programming language for spreadsheet use
A small interpretter for the simply typed lambda calculus, with type inference
💻 Experimental Nano with dependent types
Add a description, image, and links to the plt topic page so that developers can more easily learn about it.
To associate your repository with the plt topic, visit your repo's landing page and select "manage topics."