Added grammar staging and Monadic Semantics - Githubissues

namin / staged-miniKanren

staged relational interpreters: running with holes, faster

124 stars 16 forks source link

Added grammar staging and Monadic Semantics #13

Closed rvs314 closed 8 months ago

rvs314 commented 8 months ago

Added:

A *test-results-same?* parameter to the test-check implementation
A grammar staging use-case with some simple performance benchmarks
The case of fallback in the monadic semantics doc

namin commented 8 months ago

Thank you!