Idris 2 Activity

A purely functional programming language with first class types

SourceForge Open Source Mirror Directory

• Summary
• Files
• Reviews

Activity for Idris 2

• 5 months ago

  Idris 2 released /v0.8.0/[v0.8.0] 2025 Hallowe_en Release source code.zip

• 5 months ago

  Idris 2 released /v0.8.0/[v0.8.0] 2025 Hallowe_en Release source code.tar.gz

• 5 months ago

  Idris 2 updated /v0.8.0/README.md

• 5 months ago

  Idris 2 released /v0.8.0/README.md

• 5 months ago

  Idris 2 released /v0.8.0/2025 Hallowe_en Release source code.zip

• 5 months ago

  Idris 2 released /v0.8.0/2025 Hallowe_en Release source code.tar.gz

• 2 years ago

  Idris 2 released /v0.7.0/Version 0.7.0 (2023 release) source code.zip

• 2 years ago

  Idris 2 released /v0.7.0/README.md

• 2 years ago

  Idris 2 released /v0.7.0/Version 0.7.0 (2023 release) source code.tar.gz

• 3 years ago

  Idris 2 released /v0.6.0/Version 0.6.0.zip

• 3 years ago

  Idris 2 released /v0.6.0/Version 0.6.0.tar.gz

1