/Type-inference

Algorithm of Type Inference

Primary LanguageHaskell

Type-Inference

HSE University homework (November 2021)

Algorithm on Type Inference