search

TypeFox / typir

Typir is a library for building type systems
MIT License
10 stars 2 forks source link

Johannes' 1st sketch for Typir #2

Closed JohannesMeierSE closed 6 months ago