search

GaloisInc / daedalus

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

Update Match1 mentions in docs-src #293

Closed jtdaugherty closed 1 year ago

jtdaugherty commented 1 year ago

The parens are removed now.