Port over to inductive strings. Generic determinsitic automata #66
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