Skip to content
GitLab
Explore
Sign in
paogris
lars-relax
Repository
lars-relax
library
Language
LARS.hs
Find file
Blame
History
Permalink
Remove choices that are guarded by an #instance
· 0ee4b41e
Paul Ogris
authored
Nov 12, 2019
Since those variables are going to be assumptions, we do not want them to be derived.
0ee4b41e