Update stack snapshot - Githubissues

mortberg / cubicaltt

Experimental implementation of Cubical Type Theory

https://arxiv.org/abs/1611.02108

MIT License

572 stars 76 forks source link

Update stack snapshot #80

Closed vlopezj closed 7 years ago

mortberg commented 7 years ago

Thanks! This seems to fix the problems with building using stack.