<@U3SEC772T> Look up things such as “Hindley Milln...
# getting-startedc
cedric
01/17/2017, 6:14 PM@sky_alligator Look up things such as “Hindley Millner” and “unification algorithms” (Kotlin doesn’t use HM as far as I know but the general ideas for type inference are fairly high level and easy to grasp, since we do this in our brain all the time)