summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Primitives/Alloc.lean (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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