Search This Blog

Idris

8:42 PM | , with 0 comments »

Idris is an experimental language with full dependent types. Dependent types allow types to be predicated on values, meaning that some aspects of a program's behaviour can be specified precisely in the type.
Idris
Blogged with the Flock Browser

0 comments

Post a Comment

Subscribe to: Post Comments (Atom)