LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Idris

Idris2

A purely functional programming language with first class types

IdrisEmerging

Stars

—

Forks

—

Contributors

8

Last push

16mo ago

Recent commits

Latest commits.

[ fix #3448, #3052 ] Fix `%search` in constraint (#3451)
4e8847bViktor Yudov16mo ago
Merge pull request #3492 from Matthew-Mosior/bump-timeout-for-flaky-test
aa18959Steve Dunham16mo ago
Increasing timeout for channel008 test.
5f11f00Matthew-Mosior16mo ago
[ refactor ] Use `List1` for determining parameters (#3489)
4889328Viktor Yudov16mo ago
Make `CONS`, `NIL`, `JUST` and `NOTHING` constructors have uniform names (#3486)
a3aaef0Zoe Stafford16mo ago

Empty data declarations are confused with forward data declarations (#3480)

d9ed15fSteve Dunham17mo ago

[ fix ] False positives checking for conflicts in coverage checking (#3478)

7ca34d1Steve Dunham17mo ago

Support for non-glibc versions of linux (musl, android) (#3336)

e33de48Samuel Pocino17mo ago

Top contributors

Builders behind this project.