I (_(Far)) am trying to experiment on _(pattern-matching) with first-class patterns.

In the old Tunes code, I tried to show how I'd envision a _(declarative) description of a machine's instruction set being used as the source for a assembler, disassembler, and more, based on manipulating first-class patterns.
I'd like to experiment in that direction. That's for the goal end of it.

For the code end, I've fiddled a simple pattern in _(Common Lisp)
(see _(http://www.cliki.net/fare-matcher)), that could be extended to
experiment in that direction.

If a lisp-aware tuneser wants to help, he'll be welcome.
Contact me about it.