Leni Aniva 174d1a3fd6 feat: Compilation unit extraction		2024-05-31 17:09:12 -07:00
..
.gitignore	example: Calling aesop (partial)	2024-05-17 20:45:29 -07:00
Example.lean	feat: Compilation unit extraction	2024-05-31 17:09:12 -07:00
lake-manifest.json	example: Calling aesop (partial)	2024-05-17 20:45:29 -07:00
lakefile.lean	example: Calling aesop	2024-05-17 20:53:34 -07:00
lean-toolchain	example: Calling aesop (partial)	2024-05-17 20:45:29 -07:00