imandra-ai/fix-engine

Introduce a nested record + parsing in the protocol-exts

Closed this issue 8 years ago · 0 comments

KKostya commented 8 years ago

Introduce a nested record + parsing in the protocol-exts