Richard Eisenberg (@raehaskell) 's Twitter Profile
Richard Eisenberg

@raehaskell

Type system grease monkey and language designer for Haskell and OCaml. I want type systems to save us from software errors. Works at @JaneStreetGroup. He/him

ID: 1191049810213834753

linkhttps://richarde.dev/ calendar_today03-11-2019 17:49:51

220 Tweet

3,3K Followers

149 Following

Richard Eisenberg (@raehaskell) 's Twitter Profile Photo
Richard Eisenberg
@raehaskell

3 years ago

I'm writing a paper for Haskell Symposium, using Andres Löh's lhs2TeX for code formatting. My editor: VSCode. And, amazing to say, HLS is finding type errors in the middle of my paper. Very cool!