austin 🇵🇸 (@stdlib) 's Twitter Profile
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

calendar_today09-03-2009 09:53:43

23,23K Tweet

1,1K Followers

392 Following

austin 🇵🇸 (@stdlib) 's Twitter Profile Photo
austin 🇵🇸
@stdlib

3 years ago

someone on the Haskell subreddit asked for a review of Lean 4, so I wrote out some stuff based on my initial impressions early last year, with some basic examples. you might enjoy it if you're a functional programmer: old.reddit.com/r/haskell/comm…