/idris2-samples

A collection of samples in Idris 2

Primary LanguageIdris

Stargazers

No one’s star this repository yet.