Andres Löh

icon indicating a website link https://kosmikus.org icon indicating an email [email protected]

icon company Well-Typed LLP icon location Regensburg

Results 1 repositories owned by Andres Löh

records-sop

17
Stars
6
Forks
Watchers

Experimental implementation of generic record subtyping

verified publisher icon kosmikus