Equalizers, Dyck Trace Strong equiv, inductive strings, generic deter… #67
Annotations
3 errors
|
Download and install Agda from github
Not in scope: ‘Prelude.null’
|
|
Download and install Agda from github
Not in scope: ‘Prelude.null’
|
|
Download and install Agda from github
Process completed with exit code 1.
|
Loading