https://github.com/rybla/itse

A simple self-typed language (system S) for lambda-encoded data-types.
https://github.com/rybla/itse

Last synced: 4 days ago
JSON representation

A simple self-typed language (system S) for lambda-encoded data-types.

• Host: GitHub
• URL: https://github.com/rybla/itse
• Owner: rybla
• License: bsd-3-clause
• Created: 2021-04-14T03:59:40.000Z (over 3 years ago)
• Default Branch: require-explicit-polymorphism
• Last Pushed: 2021-04-14T03:59:43.000Z (over 3 years ago)
• Last Synced: 2024-11-07T11:13:42.594Z (about 2 months ago)
• Language: Haskell
• Size: 657 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: ChangeLog.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# itse

## TODO

- [ ] parser

- [ ] try writing induction principle for `Nat`