gsdlab/clafer

add backend compatibility information to the CheatSheet

Closed this issue · 1 comments

Currently, users have to consult the release notes to figure out which language features are supported by which backend. This should be easily accessible in the CheatSheet.