Efficient instance resolution for Agda (amelia.how)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 10 Mar 2024 13:29
comments (0)