Commit Graph

3 Commits

Author SHA1 Message Date
Daniel Kirchner
fd36ec3dca Test updates. 2021-07-06 19:05:36 +02:00
chriseth
cb1af8b88a Make verbatim compatible with KnownState. 2021-04-26 19:56:44 +02:00
chriseth
e2d8005737 Add verbatim builtin. 2021-04-26 19:56:44 +02:00