aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authortslil <tslil@posteo.de>2025-10-23 20:58:39 +0100
committertslil <tslil@posteo.de>2025-10-23 21:58:20 +0100
commit7c36fb82df24cfa96ad2d2bf3fa769142c178fc1 (patch)
tree036e2b076c80a1b3dcd5183258bb56a6ca997969 /.gitignore
parent1a109e4d6bcc348607859342b144daef11c124cd (diff)
One painful manual currying and Higher Rank Trait Bounds application later, i think complement transformations work now
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions