fork download
  1. coq uco lod aco loz afo dad aco loz avu lel olo loq uba vuz a
Compilation error #stdin compilation error #stdout 0s 0KB
stdin
Standard input is empty
compilation info
prog.nim(1, 3) Error: undeclared identifier: 'coq'
stdout
Standard output is empty