A Teeny Type Theory
语言：Haskell · GitHub 星标：26 · Fork：3
话题：dependent-types · elaboration · normalization-by-evaluation · proof-assistant
在 GitHub 上查看原仓库
开源雷达国内 GitHub 镜像站
开源雷达国内 GitHub 镜像站