Project materials related to logic programming for interactive/reactive systems.
Primary LanguageStandard ML