Today I’m pairing with Claude Code on a bit of Idris. Claude definitely knows Idris better than me but we are both struggling a bit.
Today I’m pairing with Claude Code on a bit of Idris. Claude definitely knows Idris better than me but we are both struggling a bit.