GitHub - vvvyz/project

Name		Name	Last commit message	Last commit date
Latest commit History 46 Commits
README.txt		README.txt
expression.txt		expression.txt
haskell.md		haskell.md
interp.rkt		interp.rkt
interp0.rkt		interp0.rkt
match.rkt		match.rkt
subtype.txt		subtype.txt
typecheck.rkt		typecheck.rkt
types.txt		types.txt

Repository files navigation

- 正确的模型
- 语义明确
- 优雅的语法

No description, website, or topics provided.