/ml-mukanren

microkanren in sml

Primary LanguageStandard ML

ml-mukanren