idris-lang / Idris2
A purely functional programming language with first class types
| Jul | AUG | Sep |
| 07 | ||
| 2020 | 2021 | 2022 |

See what the GitHub community is most excited about today.
A purely functional programming language with first class types
Idris version of Domain Modeling Made Functional Book.