Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/idris-lang/Idris2
A purely functional programming language with first class types
https://github.com/idris-lang/Idris2
compiler dependent-types hacktoberfest
Last synced: 3 months ago
JSON representation
A purely functional programming language with first class types
- Host: GitHub
- URL: https://github.com/idris-lang/Idris2
- Owner: idris-lang
- License: other
- Created: 2020-05-17T23:25:25.000Z (over 4 years ago)
- Default Branch: main
- Last Pushed: 2024-10-24T20:55:38.000Z (3 months ago)
- Last Synced: 2024-10-26T07:40:00.241Z (3 months ago)
- Topics: compiler, dependent-types, hacktoberfest
- Language: Idris
- Homepage: https://idris-lang.org/
- Size: 102 MB
- Stars: 2,510
- Watchers: 63
- Forks: 374
- Open Issues: 564
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Support: support/Makefile
Awesome Lists containing this project
- awesome-programming-languages - Idris - Idris is a programming language designed to encourage Type-Driven Development. In Idris, types are first-class constructs in the langauge. This means types can be passed as arguments to functions, and returned from functions just like any other value, such as numbers, strings, or lists. (Uncategorized / Uncategorized)
- awesome-list - Idris2 - lang | 1311 | (Idris)