generalized-interval-systems

There are 1 repositories under generalized-interval-systems topic.

  • yurrriq/gis

    An implementation of David Lewin's Generalized Interval Systems

    Language:Idris5200