effectfully (@effectfully) 's Twitter Profile
effectfully

@effectfully

Haskell, compilers, mental decay

ID: 767333176826032128

linkhttp://github.com/effectfully calendar_today21-08-2016 12:11:00

4,4K Tweet

6,6K Followers

783 Following

effectfully (@effectfully) 's Twitter Profile Photo
effectfully
@effectfully

2 months ago

I have a 30-something page tutorial on how type/term inference works in Agda, written largely out of sheer respect for how well they designed it. For those who care about inference in dependently typed languages, the link in the thread.

I have a 30-something page tutorial on how type/term inference works in Agda, written largely out of sheer respect for how well they designed it. For those who care about inference in dependently typed languages, the link in the thread.