An implementation of Allen's interval algebra in Idris
Primary LanguageIdris
No one’s star this repository yet.