cstml/FMCt

Functional Machine Calculus typed. A programming language based on the FMC paper, developed from scratch for a Dissertation project.

语言：Haskell · GitHub 星标：5 · Fork：0

话题：fmct · programming-language · typechecker

在 GitHub 上查看原仓库