Tom Oram
@tomoram.bsky.social
Passionate about all aspects of software. Lead Consulting Engineer at Armakuni.
Trips to the office are a great chance to get a bit of fun coding.
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.
September 2, 2025 at 6:33 PM
Trips to the office are a great chance to get a bit of fun coding.
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.