pie:依赖类型语言,《The Little Typer》配套实现,支持DrRacket与命令行REPL

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

分支4Tags0

项目介绍

《派》(The Pie)语言,伴随弗里德曼(Friedman)和克里斯蒂安森(Christiansen)所著的《小打字员》(The Little Typer)。【此简介由AI生成】

定制我的领域