基础语言-ChihuahuaLang-PROSAGA-码农传奇

项目作者： molikto

项目描述：
PLT & structural editor playground

高级语言： Scala

项目主页：

项目地址: git://github.com/molikto/ChihuahuaLang.git

创建时间： 2017-02-26T06:46:05Z
项目社区：https://github.com/molikto/ChihuahuaLang
开源协议：
下载

this is my

Programming Language Theory Playground

code here may not be complete or working at all

main stuff

a structural editor
dependent type theory type checker and compiled (JIT’ed) normalization by evaluation
- it also implements subtyping for dependent records, and inductive types, but the soundness is not verified yet
- code sample, you can run it in Parser.scala
- tests
- references
  - Full reduction at full throttle
  - A simple type-theoretic language: Mini-TT

smaller stuff

eval for untyped lambda calculus and compiled (JIT’ed) normalization by evaluation (Full reduction at full throttle)


