I

Idris2plan9

Project information

A purely functional programming language with first class types

2,663 Commits
2 Branches
7 Tags

README
BSD 3-Clause "New" or "Revised" License
CHANGELOG
CONTRIBUTING

Created on

December 29, 2021

Loading