austin 🇵🇸
@stdlib
we altered the flow of time, so that the world might once again feel small (bg: Roses, Butterfly and Puppies, by Nagasawa Rosetsu)
ID: 23419587
09-03-2009 09:53:43
23,23K Tweet
1,1K Followers
392 Following
Jared Roesch 🐦⬛ Sebastian Ullrich David Thrane Christiansen honestly Lean 4 is probably the only FP language that can touch my love of Haskell even though it’s completely different. considering i’ve used haskell for 15yrs+, worked on GHC for 6 years, including being the release manager — it’s truly something special. hats off to everyone!