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

remove nix flake #629

Closed plredmond closed 1 year ago

plredmond commented 1 year ago

I'm no longer able to keep up maintaining this flake for my personal use. I suggest removing it, because it's very complex, and most users are probably satisfied with cabal and stack.

ranjitjhala commented 1 year ago

ok! I can remove it! was it in the CI?

plredmond commented 1 year ago

I'm fairly certain that it's not used by CI. We might confirm that with @facundominguez.