idris-0.9.12: Functional Programming Language with Dependent Types

Safe HaskellNone

IRTS.Java.Pom

Documentation