Post #1177044
2026-01-18 23:39 UTC
A new master's thesis from Matheus de Sousa Bernardo about adding support for typed holes to Liquid Haskell: https://odr.chalmers.se/items/f16a25b8-dae5-4dc4-982b-c1f22dba7c43
@redmp, @ganshen, and I once wrote a lil' proposal for HATRA about how we wanted this to exist (https://arxiv.org/abs/2110.04461), but we never actually made it happen, so this is super cool to see. 🚀
Replies (0)
No replies.