06.23.2016 - By Brian Lonsdorf & Hardy Jones
Mocks & Stubs by Ken ScamblerPractically Functional ProgrammingIdris: Type safe printf