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. 🚀
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
Lindsey Kuper
@lindsey@recurse.social
Made in Iowa. Nearly 100% biodegradable. PL, concurrency, distributed computing, and all that. Free as in interpretable. Informal in various ways. Assistant professor at UC Santa Cruz.
recurse.social
@lindsey@recurse.social
·
Jan 18, 2026
16
0
2
Loading comments...