Dad×2_jack (@iceland_jack) 's Twitter Profile
Dad×2_jack

@iceland_jack

Haskell

ID: 2832623057

calendar_today15-10-2014 20:08:35

31,31K Tweet

3,3K Followers

558 Following

Dad×2_jack (@iceland_jack) 's Twitter Profile Photo
Dad×2_jack
@iceland_jack

2 days ago

(forall x. Cls x => x) is the limit of the forgetful functor from f-algebras, assuming class Cls a where meth :: f a -> a It is isomorphic to Fix f