An implementation of David Lewin's Generalized Interval Systems
Primary LanguageIdrisMIT LicenseMIT
This repository is not active