/lua_reified_search

A short example of using continuation passing to turn a backtracking search into a restartable stream of results, includes a search library that's the semantic equivalent of prolog

Primary LanguageLuaThe UnlicenseUnlicense

This repository is not active