Login: idris-lang

Company: null

Location: null

email:

Blog:

Members

  1. raichoo
  2. Steven Shaw

Repositories

Idris-dev
A Dependently Typed Functional Programming Language
idris-emptycg
An empty code generator, to be used as a starting point for any new back ends.
idris-tutorial
A tutorial to the Idris Programming Language.
This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.