[%] 타입 추론 알고리즘 짰다

[기괴공학도(mecheng98)]

아직까지 버그는 없는 것 같다.

[기괴공학도(mecheng98)]

https://github.com/mecheng98/LambdaWizard/blob/master/src/SimplyTyped/InferenceType.hs