cedille topic

List cedille repositories

meta-cedille

55
Stars
0
Forks
Watchers

Minimalistic dependent type theory with syntactic metaprogramming

verified publisher icon WhatisRT