Toggle navigation
Home
About
Subscribe (RSS)
Categories
Architecture
Backends
Clouds
Conferences
Distribution and Distributed Systems
Formats
Game Development
Hardware
Languages
Libraries
Places of interest on the Internet
Platforms
Presentation
Reading
Storage
Teaching
Tools
Virtual Machines
All Tags
All Pages
Idris
A dependently typed functional programming language.
Source
Tags:
language
functional
dependent types
Last modified 30 May 2020