summaryrefslogtreecommitdiff
path: root/lake-manifest.json (follow)
Commit message (Collapse)AuthorAgeFilesLines
* feat: add functional correctness of elements contained in the resulting treeRaito Bezarius2024-04-171-1/+1
| | | | | | | We revamp the typeclass mechanisms and we add an equality hypothesis now. Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
* feat: init lake lockRaito Bezarius2024-04-121-0/+77
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>