Idris: A Language for Type-Driven Developmentidris-lang.org
David Thrane Christiansendavidchristiansen.dk
https://typetheorypodcast.com/typetheorypodcast.com
Programming Language Foundations in Agdaplfa.inf.ed.ac.uk
wen.workswen.works
Philip Wadler's home pagehomepages.inf.ed.ac.uk 
