Similar repositories to iitalics/type-inference-agda: