Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

André Videla
Recombine

Recombine

Project information

A dependently typed server framework for Idris

93 Commits
19 Branches
1 Tag
1 Release

README

Created on

April 26, 2020

Copy SSH clone URLgit@gitlab.com:avidela/recombine.git
Copy HTTPS clone URLhttps://gitlab.com/avidela/recombine.git