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

verified publisher icon idris-hackers
→

Metadata

Collection of Idris tests and demonstration programs

Idris demos

Collection of Idris tests and demonstration programs

← Metadata

191
Stars
13
Forks
Watchers

Owner

verified publisher icon idris-hackers

Metadata

Collection of Idris tests and demonstration programs

Back