Albert ten Napel

icon location Netherlands

Results 3 repositories owned by Albert ten Napel

bidirectional.js

73
Stars
2
Forks
Watchers

Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"

verified publisher icon atennapel

coc-os

17
Stars
2
Forks
Watchers

"operating system" based on the calculus of constructions

verified publisher icon atennapel

tinka-hs

22
Stars
0
Forks
Watchers

Dependently typed programming language written in Haskell

verified publisher icon atennapel