Encoding special graph structures in types
Primary LanguageJuliaMIT LicenseMIT
Encoding special graph structures in types.