Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

I

Idris-dev

Project information

A Dependently Typed Functional Programming Language

0 Commits
1 Branch
15 Tags

README
BSD 3-Clause "New" or "Revised" License
CHANGELOG
CONTRIBUTING

Created on

January 21, 2016

Copy SSH clone URLgit@gitlab.com:cynede/Idris-dev.git
Copy HTTPS clone URLhttps://gitlab.com/cynede/Idris-dev.git