Make coq backend parse all examples

Open cmester0 opened this issue 2 years ago • 2 comments

The coq backend should at a minimum be able to parse all the examples, that we can do in V2.

Apr 13 '23 15:04 cmester0

Part of #28. Need use statements #73 , early returns #15.

Apr 25 '23 12:04 cmester0

@cmester0, what do you think about this one? are we there yet, shall we close this?

Apr 18 '24 11:04 W95Psp

This is stale, let's close.

Oct 03 '24 05:10 W95Psp