Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation
Last updated 5 years ago
This site uses cookies to deliver its service and to analyse traffic. By browsing this site, you accept the privacy policy.