idris

A Dependently Typed Functional Programming Language

🔗 https://www.idris-lang.org

📜 App manifest

Current version: 1.3.3

Bucket: main

License: BSD-3-Clause

Installation

scoop install idris