aboutsummaryrefslogtreecommitdiff
path: root/samples/math.mili
AgeCommit message (Expand)Author
2024-11-15Fix reducer and examplesMarvin Borner
2024-11-14Basic reductionMarvin Borner