search

GaloisInc / daedalus

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

Write a type checker for the VM syntax #337

Open yav opened 1 year ago

yav commented 1 year ago

This would help generating malformed syntax.

yav commented 1 year ago

I've started on this, but it is not complete: see Daedalus.VM.TypeCheck