Leonardo de Moura 65c307a7b7 feat: add environment extension for constant folder ... TODO: add command/attribute for conveniently installing folders		2022-09-27 16:26:49 -07:00
..
Basic.lean
Config.lean
ConstantFold.lean	feat: add environment extension for constant folder	2022-09-27 16:26:49 -07:00
DefaultAlt.lean
FunDeclInfo.lean
InlineCandidate.lean
InlineProj.lean
JpCases.lean
Main.lean	fix: mark code as simplified	2022-09-26 21:27:45 -07:00
SimpM.lean	feat: preserve user provided names at LCNF Simp	2022-09-26 21:04:13 -07:00
SimpValue.lean
Used.lean