NoRedInk / haskell-verify-examples

WIP
BSD 3-Clause "New" or "Revised" License
0 stars 0 forks source link

Support CPP preprocessor commands using cpphs #22

Closed micahhahn closed 3 years ago

micahhahn commented 3 years ago

Fix #13

stoeffel commented 3 years ago

Looks great