idris-emptycg icon indicating copy to clipboard operation
idris-emptycg copied to clipboard

Published 20 hours ago • verified publisher icon idris-lang
→

Metadata

An empty code generator, to be used as a starting point for any new back ends.

← Metadata

51
Stars
21
Forks
Watchers

Owner

verified publisher icon idris-lang

Metadata

An empty code generator, to be used as a starting point for any new back ends.

Back