https://github.com/rybla/itse

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

Last synced: 12 months 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 (about 5 years ago)
• Default Branch: require-explicit-polymorphism
• Last Pushed: 2021-04-14T03:59:43.000Z (about 5 years ago)
• Last Synced: 2025-05-19T00:11:25.830Z (about 1 year ago)
• Language: Haskell
• Size: 657 KB
• Stars: 1
• Watchers: 0
• 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`