search

LeventErkok / sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
https://github.com/LeventErkok/sbv
Other
240 stars 33 forks source link

Fix of minor typo #632

Closed richardfergie closed 1 year ago

richardfergie commented 1 year ago

functio -> function

LeventErkok commented 1 year ago

Thanks!