Leonardo de Moura e252446432 doc: cite "Generalizing Monads to Arrows" ... cc @Kha		2020-06-01 08:02:32 -07:00
..
Command.lean
Level.lean
Module.lean
Parser.lean	doc: cite "Generalizing Monads to Arrows"	2020-06-01 08:02:32 -07:00
Syntax.lean
Tactic.lean
Term.lean
Transform.lean