Idris-old icon indicating copy to clipboard operation
Idris-old copied to clipboard

verified publisher icon edwinb
→

Metadata

A language with dependent types

← Metadata

19
Stars
2
Forks
Watchers

Owner

verified publisher icon edwinb

Metadata

A language with dependent types

Back