clofrp:简单类型时钟类型理论
需积分: 8 72 浏览量
2021-05-16
23:19:42
上传
评论
收藏 939KB ZIP 举报
clofrp-master.zip （77个子文件） 
clofrp-master 
Setup.hs 326B .ghci 65B
Functional Reactive Programming in CloTT.pdf 824KB derivations.tex 3KB package.yaml 2KB library CloFRP Annotated.hs 694B Eval.hs 12KB Eval EvalM.hs 4KB Value.hs 4KB Examples.hs 4KB Parser Synonym.hs 467B Expr.hs 4KB Prog.hs 453B Lang.hs 4KB Decl.hs 2KB Type.hs 2KB Experiments.hs 5KB Derive.hs 8KB Pretty.hs 700B Check Subtyping.hs 5KB Unify.hs 3KB Destr.hs 615B TypingM.hs 11KB Utils.hs 7KB Instantiation.hs 9KB Prog.hs 17KB Pat.hs 3KB Contexts.hs 11KB Coverage.hs 10KB Utils.hs 547B Check.hs 21KB AST Prim.hs 821B Kind.hs 548B Synonym.hs 937B Utils.hs 554B Expr.hs 6KB Pat.hs 2KB Constr.hs 1KB Datatype.hs 1KB Helpers.hs 3KB Name.hs 1KB Type.hs 8KB AST.hs 8KB Interop.hs 8KB Compiler.hs 7KB QuasiQuoter.hs 3KB Context.hs 361B benchmark Main.hs 516B BenchEval.hs 20KB EveryOther.hs 2KB ReplaceMin.hs 3KB CoNats.hs 1KB ScaryConst.hs 1KB test-suite Main.hs 2KB Fixtures.hs 7KB CloFRP TestUtils.hs 731B QuasiQuoterSpec.hs 2KB ParserSpec.hs 17KB CompilerSpec.hs 2KB Check TestUtils.hs 1KB HigherKinded.hs 6KB ClockSpec.hs 14KB RecSpec.hs 8KB ProgSpec.hs 40KB DeriveSpec.hs 14KB AST PrettySpec.hs 4KB Fixtures Imp1.hs 1KB InteropSpec.hs 12KB EvalSpec.hs 18KB CheckSpec.hs 43KB LICENSE.md 1KB README.md 4KB stack.yaml 2KB bench.ps1 529B NOTES.md 5KB .gitignore 238B CHANGELOG.md 240B资源评论
