search

plclub / hs-to-coq

Convert Haskell source code to Coq source code.
https://hs-to-coq.readthedocs.io
MIT License
78 stars 8 forks source link

Parse Gallina's let-tick syntax #183

Closed ericgiovannini closed 3 years ago

ericgiovannini commented 3 years ago

This branch adds support for parsing Gallina's "let-tick" construct.

The code for the test case is in examples/tests/ParserTests.hs and examples/tests/ParserTests/edits.

lastland commented 3 years ago

I pushed again to rebase this branch onto the current version of master.