Leonardo de Moura 412bc14fbe doc: add well-typed interpreter as an example		2022-03-22 16:32:41 -07:00
..
compiler	chore: move tests to new frontend	2020-10-23 14:07:26 -07:00
interp.lean	doc: add well-typed interpreter as an example	2022-03-22 16:32:41 -07:00