/MLHT

Martin-Löf Type Theory implementation, in order to experiment some language futures

Primary LanguageKotlinGNU Affero General Public License v3.0AGPL-3.0

This repository is not active