Andre Knispel

icon indicating an email [email protected]

icon company IOHK

Results 1 repositories owned by Andre Knispel

meta-cedille

55
Stars
0
Forks
Watchers

Minimalistic dependent type theory with syntactic metaprogramming

verified publisher icon WhatisRT