search

mortberg / cubicaltt

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

Path completion in :l #91

Open nponeccop opened 7 years ago

nponeccop commented 7 years ago

:l foo<tab> doesn't complete to foo.ctt as the completion function doesn't have that implemented