Leonardo de Moura 49fc82c604 chore: add Lean package to leanc.in		2020-05-26 13:51:06 -07:00
..
lean-gdb.py
leanc.in	chore: add Lean package to leanc.in	2020-05-26 13:51:06 -07:00
leanmake	feat: make leanmake extensible with custom Makefiles; rename standard Makefile to lean.mk; document	2020-05-22 09:22:26 -07:00