Commit Graph

3 Commits

Author SHA1 Message Date
Daniel Kirchner
576dce091d Huge commit from which this can be extracted in stages. 2021-06-14 17:07:19 +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