Open lemmih opened 5 years ago
LHC doesn't take function fixities into account. To fix this, fixities need to be recorded in interface files and applied before type-checking takes place.
LHC doesn't take function fixities into account. To fix this, fixities need to be recorded in interface files and applied before type-checking takes place.