Closed JacquesCarette closed 3 years ago
This is seriously long-hanging fruit, as there is already an implementation in Agda. It does need ported.
This is seriously long-hanging fruit, as there is already an implementation in Agda. It does need ported.