**ocschwar** @ocschwar@qoto.org · 2022-11-11T19:39:39Z

ocschwar @ocschwar@qoto.org

Haskell

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

**pete gamache** @gamache@mastodon.online · Nov 11, 2022, 21:54

**pete gamache** @gamache@mastodon.online · Nov 11, 2022, 21:54

pete gamache @gamache@mastodon.online

Haskell

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

**ocschwar** @ocschwar@qoto.org · Nov 12, 2022, 01:18

**ocschwar** @ocschwar@qoto.org · Nov 12, 2022, 01:18

ocschwar @ocschwar@qoto.org

Haskell

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