https://github.com/ilyabizyaev/type-theory

Type Theory course homework (2019), ITMO University
https://github.com/ilyabizyaev/type-theory

haskell lambda-calculus type-theory

Last synced: 15 days ago
JSON representation

Type Theory course homework (2019), ITMO University

• Host: GitHub
• URL: https://github.com/ilyabizyaev/type-theory
• Owner: IlyaBizyaev
• License: mit
• Created: 2020-08-01T08:21:23.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-08-01T08:52:58.000Z (over 4 years ago)
• Last Synced: 2024-11-02T03:42:11.393Z (2 months ago)
• Topics: haskell, lambda-calculus, type-theory
• Language: Haskell
• Homepage:
• Size: 181 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Type Theory

Type Theory course homework (2019), ITMO University.

Implemented:

* Lambda expression parsing and display

* Lambda expression normalization, with normal order beta reduction (memoized)

* In_L, In_R, Case for algebraic types (sum types) in their formal definition

Technologies used:

* Haskell (Alex, Happy)

* C++, C, Pascal