diff options
author | 2023-08-27 02:59:19 +0200 | |
---|---|---|
committer | 2023-08-27 02:59:19 +0200 | |
commit | 2fdbe809530817d49b0fa08066343cd2f13f52ff (patch) | |
tree | c9440942621ae89064f75dd7da8de0c0d3601236 /subprojects/frontend/vite.config.ts | |
parent | fix: strong represenative election algorithm (diff) | |
download | refinery-2fdbe809530817d49b0fa08066343cd2f13f52ff.tar.gz refinery-2fdbe809530817d49b0fa08066343cd2f13f52ff.tar.zst refinery-2fdbe809530817d49b0fa08066343cd2f13f52ff.zip |
refactor: disable contains refinement
Providing an efficient refinement calculus would be too difficult at this point,
and contains is much more useful as a constraint in predicates that as an
assertions anyway.
Diffstat (limited to 'subprojects/frontend/vite.config.ts')
0 files changed, 0 insertions, 0 deletions