Yoel Garcia Diaz
Results
1
issues of
Yoel Garcia Diaz
When I reach for \t on a hole I get this error followed by an idris error that doesn't make sense like undefined name...