search

mortberg / cubicaltt

Experimental implementation of Cubical Type Theory
https://arxiv.org/abs/1611.02108
MIT License
571 stars 76 forks source link

Soften version constraints #29

Closed abooij closed 8 years ago

abooij commented 8 years ago

This allows one to build cubicaltt on ubuntu 14.04 LTS

mortberg commented 8 years ago

LGTM