Skip to content

GitLab

Explore

Sign in
Register

I

IdrisLibs2

Project information

A transitional project, originally meant to port IdrisLibs to Idris2

122 Commits
1 Branch
2 Tags
2 Releases

README

Created on

July 10, 2019

Loading