TY  - RPRT
TI  - How to Safely Use Extensionality in Liquid Haskell
AU  - Niki Vazou
AU  - Michael Greenberg
PY  - 2022
UR  - https://arxiv.org/abs/2103.02177
ID  - 2103.02177
ER  -