Sebastian Ullrich b9424975b3 refactor(init/meta): replace dynamically-checked quotes where possible		2017-02-17 19:59:57 -08:00
..
debugger	feat(frontends/lean/elaborator): coercion from (decidable) Prop to bool	2017-02-14 18:41:32 -08:00
super	refactor(init/meta): replace dynamically-checked quotes where possible	2017-02-17 19:59:57 -08:00