System F

TAPLの説明に沿って System F を実装する．修行の関係上，実装言語は Python となるが，Python のパーサーだけは使用に堪えないのでその部分だけHaskellで実装する．中間のフォーマットは JSON とする．

System F とは

パラメータ多相を備えた単純型付きラムダ計算である．単純型付きラムダ計算に型抽象と型の具体化を導入する．

(Python 3系での動作を想定しています)

Name		Name	Last commit message	Last commit date
Latest commit History 29 Commits
eval		eval
parser-exec		parser-exec
parser		parser
tests		tests
.gitignore		.gitignore
BNF.txt		BNF.txt
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
SystemF.cabal		SystemF.cabal
main.py		main.py
stack.yaml		stack.yaml