GitHub repository: yurrriq/gis
Primary language: Idris
Created: 2020-05-30T00:03:24Z
Description: An implementation of David Lewin's Generalized Interval Systems