agda-ocaml icon indicating copy to clipboard operation
agda-ocaml copied to clipboard

Published 20 hours ago • verified publisher icon agda
→

Metadata

OCaml backend for Agda

Results 1 agda-ocaml issues
Sort by recently updated
recently updated
newest added

PR comments

FYI: https://github.com/agda/agda/pull/2521

fredefox avatar fredefox

← Metadata

39
Stars
6
Forks
Watchers

Owner

verified publisher icon agda

Metadata

OCaml backend for Agda

Back