RACR-meta: separation of pattern language #65
Assignees
Labels
Comments
christoff-buerger
added a commit
that referenced
this issue
Jun 29, 2016
…racted the pattern language as its own library; (racr-meta core) is working, (racr-meta patterns) still needs fixing.
christoff-buerger
added a commit
that referenced
this issue
Jul 2, 2016
…ed mockup functions to avoid compilation errors; WARNING: the pattern library is still broken for RACR-meta.
christoff-buerger
added a commit
that referenced
this issue
Jul 3, 2016
…oved patterns from with-specification syntax in (racr-meta core); WARNING: the pattern library is still broken for RACR-meta.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
To simplify the core implementation of RACR and, in particular, clearly identify and elaborate the essential facilities required for meta-instantiation and reasoning (cf. issues #62 and #63 ), the pattern language should become a separate Scheme library, that can be loaded additionally to
(racr-meta core)if required.The text was updated successfully, but these errors were encountered: