You get an image representation of the function. But it's a long way from being as pretty as our rule cards. Can the appropriate info be extracted from the metafunctions in a way that allows us to render out rule cards? E.g. the left and right hand sides of the pattern matching...
In
redex/boolean-algebra.rkt
, if you run this:You get an image representation of the function. But it's a long way from being as pretty as our rule cards. Can the appropriate info be extracted from the metafunctions in a way that allows us to render out rule cards? E.g. the left and right hand sides of the pattern matching...