summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Primitives/Alloc.lean (follow)
Commit message (Expand)AuthorAgeFilesLines
* Rename Result.ret as Result.ok in the backendsSon Ho2024-04-041-2/+2
* Update the Lean standard librarySon Ho2023-12-221-3/+1
* Update the standard librariesSon Ho2023-11-211-3/+3
* Fix some issues at extraction and add builtinsSon Ho2023-10-251-1/+1
* Add definitions in for the Lean Primitives librarySon Ho2023-10-241-0/+37