Closed kovach closed 9 years ago
need better organization to facilitate debugging may also enable more general pattern matches, like a term within a context of a certain type
considering using a list of monad pattern matches (fail on match failure) or rules as objects
fail
need better organization to facilitate debugging may also enable more general pattern matches, like a term within a context of a certain type
considering using a list of monad pattern matches (
fail
on match failure) or rules as objects