WS-idr icon indicating copy to clipboard operation
WS-idr copied to clipboard

verified publisher icon edwinb
→

Metadata

Yes, it is what you think it is

trafficstars

To build, install the latest Idris (http://idris-lang.org/) then type

./build

from the source directory.

← Metadata

33
Stars
5
Forks
Watchers

Owner

verified publisher icon edwinb

Metadata

Yes, it is what you think it is

Back