Closed alesanro closed 5 years ago
Fixes #27
going to merge this now and add canonicalisation for fixed and function type args on top. thanks!
fixed
function
Fixes #27