1. Ambrus Kaposi Avatar Ambrus Kaposi
  2. Untitled project
  3. tt-in-tt
  4. Issues

Type checker

Issue #5 new
Ambrus Kaposi repo owner created an issue

Write a type checker which takes preterms and returns intrinsically typed terms and only checks equality of typed terms, hence our normalisation proof can be used.

Comments (0)

  1. Log in to comment
Assignee
–
Type
enhancement
Priority
major
Status
new
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!