diff options
| author | Son Ho | 2023-10-26 12:07:50 +0200 |
|---|---|---|
| committer | Son Ho | 2023-10-26 12:07:50 +0200 |
| commit | ca24c351f97a3f8989a6866de0868ef54241b194 (patch) | |
| tree | 156c0c0e3d030f62a73f209831cf7590967ed007 /compiler/Makefile | |
| parent | 4a164d24f1ecfb04ada3881e200cb9be16e611dc (diff) | |
Make progress on fixing the extraction for Lean
Diffstat (limited to 'compiler/Makefile')
0 files changed, 0 insertions, 0 deletions