Leonardo de Moura 90178dc3d9 feat: add syntaxNodeKindExtension ... It contains all `SyntaxNodeKind`s registered in the system.		2019-12-31 16:36:50 -08:00
..
Alternative.lean
Applicative.lean
Conditional.lean	chore: avoid ^do ...	2019-12-11 06:19:12 -08:00
EState.lean	feat: add support for postponing elabTerm	2019-12-18 11:05:02 -08:00
Except.lean	feat: add syntaxNodeKindExtension	2019-12-31 16:36:50 -08:00
Functor.lean
Id.lean
Lift.lean
Monad.lean	chore: avoid ^do ...	2019-12-11 06:19:12 -08:00
MonadFail.lean
Option.lean
Reader.lean
State.lean	chore: avoid ^do ...	2019-12-11 06:19:12 -08:00