Skip to content

Langage Request: Idris. #2108

New issue
New issue
Closed
#2755
Closed
Langage Request: Idris.#2108
#2755
Labels
language-definitionsnew language
@porglezomp

Description

@porglezomp
porglezomp
opened on Nov 1, 2019

Language
Idris is a dependently typed language with syntax somewhat similar to Haskell.

Additional resources
https://www.idris-lang.org/

Metadata

Metadata

Assignees

No one assigned

    Labels

    language-definitionsnew language

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions