{"id":"1805.00155","title":"Live Functional Programming with Typed Holes","url":"https://codeofpaper.com/paper/1805.00155","arxiv_url":"https://arxiv.org/abs/1805.00155","published":"2018-05-01","code":"official","best":{"full_name":"hazelgrove/hazel","url":"https://github.com/hazelgrove/hazel","tier":"official","stars":1166,"license":"MIT","framework":null,"language":"Reason","last_commit":"2026-10-20T23:37:30"},"most_starred_community":null,"implementations":[{"full_name":"hazelgrove/hazel","url":"https://github.com/hazelgrove/hazel","tier":"official","stars":1166,"license":"MIT","framework":null,"language":"Reason","last_commit":"2026-10-20T23:37:30"},{"full_name":"hazelgrove/hazelnut-dynamics-agda","url":"https://github.com/hazelgrove/hazelnut-dynamics-agda","tier":"official","stars":22,"license":"MIT","framework":null,"language":"Agda","last_commit":"2024-06-16T22:12:29"}],"possible_matches":0}