search

mgrabmueller / AlgorithmW

Example implementation of Algorithm W for Hindley-Milner type inference
BSD 3-Clause "New" or "Revised" License
77 stars 11 forks source link

Show the expression even if a type error occurs #4

Closed Kotolegokot closed 7 years ago

mgrabmueller commented 7 years ago

Thank you!