Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation
Last updated 4 years ago