https://github.com/andreasabel/objtt

https://github.com/andreasabel/objtt

Last synced: 10 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/andreasabel/objtt
• Owner: andreasabel
• Created: 2024-01-29T22:54:45.000Z (over 2 years ago)
• Default Branch: master
• Last Pushed: 2024-01-31T17:30:08.000Z (over 2 years ago)
• Last Synced: 2025-07-23T12:59:01.983Z (11 months ago)
• Language: Haskell
• Size: 17.6 KB
• Stars: 6
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Type checker prototype for objective type theory (ObjTT)

Build requirements:

- BNFC

- Stack

Build instruction:

```

bnfc -d -m --text-token ObjTT.cf

stack build

```

Test:

```

stack run -- test/ex1.ott

```