Sebastian Ullrich d51101b884 feat: sanitize Syntax in messages ... Fixes #182		2020-09-29 07:59:22 -07:00
..
Backtrack.lean	refactor: simpler monad stack for FormatterM and ParenthesizerM	2020-08-22 13:30:20 -07:00
Formatter.lean	feat: sanitize Syntax in messages	2020-09-29 07:59:22 -07:00
Meta.lean	feat: add AttrM	2020-09-21 16:44:20 -07:00
Parenthesizer.lean	feat: add withoutPosition combinator	2020-09-28 17:10:57 -07:00