aboutsummaryrefslogtreecommitdiffhomepage
path: root/std/List.bruijn
AgeCommit message (Expand)Author
2022-08-08Obviously trivialMarvin Borner