Skip to content

GitLab

Explore

Sign in
Register

Nicola Botta
IdrisLibs2

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

Copy SSH clone URLgit@gitlab.pik-potsdam.de:botta/IdrisLibs2.git
Copy HTTPS clone URLhttps://gitlab.pik-potsdam.de/botta/IdrisLibs2.git