Reflecting away from definitions in Liquid Haskell
Tweag
SEPTEMBER 11, 2024
My contributions enhance the reflection mechanism , which allows LH to unfold function definitions in logic formulas when verifying a program. So it can only complain when it is asked to reflect a function whose definition is not available because it was defined in some library dependency. Creating this link was my first contribution.
Let's personalize your content