文件名称：tandoori：Haskell的组成类型检查
文件大小：49KB
文件格式：ZIP
更新时间：2024-02-24 20:58:11
haskell typechecker type-system HaskellHaskell
tandoori：Haskell的组成类型检查
【文件预览】：
tandoori-master
----src()
--------main.hs(1KB)
--------sandbox.hs(3KB)
--------Tandoori.hs(243B)
--------Tandoori()
----input()
--------class-graph.hs(102B)
--------boolchar-class.hs(294B)
--------input-3.hs(155B)
--------num-literal.hs(19B)
--------err-let.hs(131B)
--------mono2.hs(57B)
--------let-poly.hs(123B)
--------declare.hs(312B)
--------id.hs(101B)
--------num.2.hs(62B)
--------let-poly-restrict2.hs(368B)
--------class-cascade-simple.hs(143B)
--------class-inherit.hs(804B)
--------class-cascade-let.hs(41B)
--------num-int.hs(118B)
--------wildcard.hs(11B)
--------mutual.hs(36B)
--------input-1.hs(739B)
--------class-red.hs(166B)
--------zigzag.hs(205B)
--------let-poly-scope.hs(38B)
--------cikk.hs(409B)
--------var.hs(161B)
--------datatype.hs(411B)
--------pat.hs(70B)
--------input-2.hs(197B)
--------append.hs(44B)
--------rigid.hs(79B)
--------undefined.hs(22B)
--------typesynonym.hs(80B)
--------Eq.hs(525B)
--------let-poly-mutual.hs(204B)
--------funs.hs(130B)
--------boolchar.hs(236B)
--------bool.hs(124B)
--------class-list.hs(245B)
--------eq.hs(577B)
--------mono-restrict.hs(247B)
--------tuple.hs(230B)
--------leq.hs(548B)
--------lambda.hs(27B)
--------mono-restrict2.hs(242B)
--------cikk2.hs(379B)
--------class-monorestrict.hs(236B)
--------mono.hs(68B)
--------list.hs(216B)
--------let-monoenv.hs(110B)
--------let-poly-restrict3.hs(84B)
--------class-cascade.hs(223B)
--------occurs.hs(17B)
--------class.hs(504B)
--------var-undefined.hs(10B)
--------let.hs(156B)
--------num.hs(538B)
--------class-sink.hs(373B)
--------class-sink-simple.hs(283B)
--------infix.hs(167B)
--------class-super.hs(999B)
--------class-ambigous.hs(350B)
--------let-poly-restrict.hs(255B)
--------empty.hs(15B)
--------datatype2.hs(51B)
----tandoori.cabal(3KB)
----LICENSE(1KB)
----README.md(705B)
----.gitignore(14B)