search

GaloisInc / daedalus

The Daedalus data description language
BSD 3-Clause "New" or "Revised" License
65 stars 11 forks source link

Update tutorial to reflect current Daedalus syntax #287

Closed yav closed 1 year ago

yav commented 2 years ago

Some constructs such as Match1 no longer work, and we should use $[ .. ] instead

jtdaugherty commented 1 year ago

I believe this is addressed by https://github.com/GaloisInc/daedalus/pull/293.

jtdaugherty commented 1 year ago

This should now be resolved with #293 merged.