Idris-lang.org

Visit idris-lang.org

We collected the majority of metadata history records for Idris-lang.org. Idris Lang has a poor description which rather negatively influences the efficiency of search engines index and hence worsens positions of the domain. We did not detect any description or keywords on Idris-lang.

http://idris-lang.org

Get to idris-lang.org overview

Idris-lang.org metadata updates

Title

Description

Keywords

August 11, 2020

Idris: A Language for Type-Driven Development

March 20, 2015

Idris | A Language with Dependent Types

January 28, 2015

Idris -