https://github.com/timwspence/stitch

Richard Eisenberg's Stitch STLC
https://github.com/timwspence/stitch

Last synced: about 1 year ago
JSON representation

Richard Eisenberg's Stitch STLC

• Host: GitHub
• URL: https://github.com/timwspence/stitch
• Owner: TimWSpence
• License: bsd-3-clause
• Created: 2019-10-10T21:52:21.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2019-10-10T21:59:55.000Z (over 6 years ago)
• Last Synced: 2025-02-06T01:05:10.047Z (over 1 year ago)
• Language: Haskell
• Homepage: https://cs.brynmawr.edu/~rae/papers/2018/stitch/stitch.tar.gz
• Size: 59.6 KB
• Stars: 6
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGES.md
  • License: LICENSE

Awesome Lists containing this project

README

          
Stitch

======

Stitch is a full implementation of the simply typed lambda-calculus. The main

`stitch` executable is a REPL, allowing the user to write lambda-expressions and

evaluating them. Run `:help` at the prompt to see other commands.

Under the hood, Stitch is implemented using a type-indexed abstract syntax tree,

meaning that only well-typed Stitch terms can be built internally. This feat

requires extensive use of modern GHC/Haskell features.

Copyright

---------

As per the licence, all code here is Richard Eisenberg's. It's publicly

available [here](https://cs.brynmawr.edu/~rae/papers/2018/stitch/stitch.tar.gz)

but not available on Github and I thought it was really cool so I put it

up.