README ¶ Running this example, e.g. with $ go run main.go will create two files: account.vmpt: This is the account type written as Vampire file account.vmp: This is an example account record written as Vampire file. You can run the vamp command (see ../../cmd/vamp): $ vamp -t account.vmpt account.vmp to dump the example record as JSON: [ "John Doe", [ "j.d@acme.dummy.none", [ "49", "55555", "0786" ] ] ] Expand ▾ Collapse ▴ Documentation ¶ There is no documentation for this package. Source Files ¶ View all Source files main.go Click to show internal directories. Click to hide internal directories.