This repository is not active
HoshinoTented/MLHT
Martin-Löf Type Theory implementation, in order to experiment some language futures
KotlinAGPL-3.0
Martin-Löf Type Theory implementation, in order to experiment some language futures
KotlinAGPL-3.0
This repository is not active