max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/library/init/lean/compiler
History
Leonardo de Moura 719eb67114 chore(library/init/lean/compiler): VarIdxSet => IndexSet
2019-05-02 08:23:59 -07:00
..
constfolding.lean feat(library/init/lean/compiler/constfolding): constant folding for strictAnd and strictOr 2019-04-05 16:51:29 -07:00
default.lean feat(library/init/lean/compiler): add elimDead transformation 2019-05-02 08:06:45 -07:00
elimdead.lean chore(library/init/lean/compiler): VarIdxSet => IndexSet 2019-05-02 08:23:59 -07:00
ir.lean chore(library/init/lean/compiler): VarIdxSet => IndexSet 2019-05-02 08:23:59 -07:00
pushproj.lean chore(library/init/lean/compiler): VarIdxSet => IndexSet 2019-05-02 08:23:59 -07:00
util.lean refactor(core): homogeneous andthen 2019-04-24 14:00:34 -07:00