summaryrefslogtreecommitdiff
path: root/backends/lean/Primitives.lean (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Add Result_Inhabited to Primitives.leanSon Ho2023-06-041-0/+3
|
* Make more updates for the Lean backendSon Ho2023-06-041-33/+57
|
* Update Primitives.leanSon Ho2023-06-041-90/+58
|
* Update Primitives.leanSon Ho2023-06-041-194/+390
|
* Make minor modifications and regenerate the Lean filesSon Ho2023-06-041-1/+1
|
* WIPJonathan Protzenko2023-06-041-35/+41
|
* More commentsJonathan Protzenko2023-06-041-40/+53
|
* Idiomatic naming conventionsJonathan Protzenko2023-06-041-46/+46
|
* Rename primitives.lean to Primitives.leanSon Ho2023-06-041-0/+373