Profile cover photo
Profile photo
George Leontiev
365 followers -
λf.(λx.f (x x)) (λx.f (x x))
λf.(λx.f (x x)) (λx.f (x x))

365 followers
About
George's interests
View all
George's posts

Post has attachment

Post has attachment

Post has attachment

Post has attachment

Post has attachment

Post has attachment

Post has shared content
The Algebra of Algebraic Data Types - a good presentation in London Haskell Meetup. Explains one hole context and type differentiation of Conor McBride .. The Algebra of Algebraic Data Types

Post has attachment
Home

Post has attachment

Post has attachment
Wait while more posts are being loaded