diff options
author | Csaba Hruska <csaba.hruska@gmail.com> | 2017-07-10 22:16:59 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-10 22:16:59 +0100 |
commit | 150997e7157f7157bc7a9f653cbc0f30bff23727 (patch) | |
tree | d643d49528793b9ffc53cb3bc2ed8f1d0729076d /refactor.plan | |
parent | 0ed4c201ecd4a0700e582fdb0284abedcf4b87aa (diff) |
Update refactor.plan
Diffstat (limited to 'refactor.plan')
-rw-r--r-- | refactor.plan | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/refactor.plan b/refactor.plan index 92a46638..c99472d5 100644 --- a/refactor.plan +++ b/refactor.plan | |||
@@ -66,3 +66,6 @@ patterns: | |||
66 | Core: TType, NoRHS, Fun, CaseFun_, TyCaseFun_, App_, Con, TyCon, Lam, Pi, Let, SubstLet, CaseFun, TyCaseFun, Var, App, DFun, DFun_, UFun, DFunN, | 66 | Core: TType, NoRHS, Fun, CaseFun_, TyCaseFun_, App_, Con, TyCon, Lam, Pi, Let, SubstLet, CaseFun, TyCaseFun, Var, App, DFun, DFun_, UFun, DFunN, |
67 | DFunN_, ConN, TyConN, TTyCon0, :~>, TConstraint, Unit, TInt, TNat, TBool, TFloat, TString, TChar, TOrdering, TVec, Empty, TT, CUnit, CEmpty, | 67 | DFunN_, ConN, TyConN, TTyCon0, :~>, TConstraint, Unit, TInt, TNat, TBool, TFloat, TString, TChar, TOrdering, TVec, Empty, TT, CUnit, CEmpty, |
68 | CstrT, CstrT', Coe, ParEval, T2, CW, CW_, CSplit,HLit, HInt, HFloat, HChar, HString, EBool, ENat, ReducedN, Reduced, FFix, NonNeut | 68 | CstrT, CstrT', Coe, ParEval, T2, CW, CW_, CSplit,HLit, HInt, HFloat, HChar, HString, EBool, ENat, ReducedN, Reduced, FFix, NonNeut |
69 | |||
70 | Other material: | ||
71 | closure conversion tutorial: https://gist.github.com/jozefg/652f1d7407b7f0266ae9 | ||