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

Add a syntax for cubical type theory

Issue #3 new
Ambrus Kaposi repo owner created an issue

A minimal version of cubical type theory, without composition, see e.g. https://photos.google.com/share/AF1QipO7b06B5YyAfULZd_GUSaLmXCCjpUv4-Ejd_abRuZ9-74rIkqtQ-QXgA7gOD1FlWQ/photo/AF1QipOIi5qi-sUd-UvLnqZCVdSIKDFRlwV1yUzeAqji?key=V1c4Vk9mRVh0RGZncF8wOGRvT3IwbVMzTWdRQWJR

Comments (1)

  2. 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!