How are exceptions handled in Idris?
Contributors/maintainers needed for the Idris track on Exercism — Free Software (open source) code learning platform
Kevin Mahoney: Tests vs Types
Edwin Brady introducing Idris 2: Type-driven development of Idris
