Welcome to the Idris category. This is a space to ask any Idris questions, discuss exercises from the Exercism Idris track, or explore any other Idris-related conversations!
Welcome to the Idris category. This is a space to ask any Idris questions, discuss exercises from the Exercism Idris track, or explore any other Idris-related conversations!