/interactive-lp

Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.

Primary LanguageStandard MLOtherNOASSERTION

Watchers