1:19:05Idris: General Purpose Programming with Dependent TypesLondon HaskellRecommended by 1 • 12 years ago