Idris
A language with dependent types
Overview
News
Example
Documentation
Contributions
Download
Epic
Fun in Oxford
Afternoon funsters! You can find the code examples from today’s talk
here
.
Recent Posts
Course on Programming with Idris: Videos/Slides
Idris 0.9.7 released
Idris 0.9.6 released
Idris 0.9.5 released
Idris 0.9.4 released
People
Edwin Brady
Other Languages
Agda
Epigram
Haskell
Meta
Log in
Entries
RSS
Comments
RSS
WordPress.org