search

ucsd-progsys / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types
BSD 3-Clause "New" or "Revised" License
132 stars 60 forks source link

Update .gitignore #697

Closed jarctan closed 2 months ago

jarctan commented 2 months ago

Updated .gitignore to ignore nested .stack-work folders (e.g. the ones in liquidhaskell-boot)

See also this related issue from liquidhaskell

ranjitjhala commented 2 months ago

Thank you!!!