Haskell 

I'm thinking of doing Advent of Code in it.

Haskell 

@ocschwar Interesting! I only ever learned Haskell in Scala.

Follow

Haskell 

@gamache otherwise I'm doing in Lean 4 (which is pretty much LiquidHaskell with mathematical notation where appropriate.)

Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.