Following https://blog.polybdenum.com for subtype inference
Primary LanguageIdris
This repository is not active