tutorial: remove mentions of defunct "@" syntax - Githubissues

GaloisInc / daedalus

The Daedalus data description language

BSD 3-Clause "New" or "Revised" License

65 stars 11 forks source link

tutorial: remove mentions of defunct "@" syntax #296

Closed jtdaugherty closed 1 year ago