🚀 go-pugleaf

Does anybody have an example of representing ROM code data in an EDIF 2 0 0 ?
After looking at the EDIF 2 0 0 spec, I guess it might look something
like this:

  (interface
    (port (array ADDRIN 4) (direction input))
    (port (array DATA 8) (direction output))
  )
  (contents
    (follow (protRef DATA)
      (table
        (entry (match (portRef ADDRIN) F F F F) (logicRef T F T F T F T F))
        (entry (match (portRef ADDRIN) F F F T) (logicRef T F T F T F T F))
        (entry (match (portRef ADDRIN) F F T F) (logicRef T F T F T F T F))
        (entry (match (portRef ADDRIN) F F T T) (logicRef T F T F T F T F))
        (tableDefault  (logicRef T F T F T F T F))
      )
    )
  )

Similarly, does anybody have an example of test vectors in EDIF format?

I have this horrible feeling, that the fragment shown above is all wrong
and that the correct way is 10X more verbose.   Any examples or feedback
will be appreciated.

Is there a mailing list somewhere concerning EDIF issues?

ray galvin