2 Commits

Author	SHA1	Message	Date
Leni Aniva	0948e71d60	Add dependency for lakefile and lean-toolchain	2023-10-02 10:30:58 -07:00
Leni Aniva	6d15d1e670	Use makefile instead of ad-hoc script	2023-10-02 10:26:19 -07:00