eff-tutorial icon indicating copy to clipboard operation
eff-tutorial copied to clipboard

verified publisher icon idris-hackers
→

Metadata

An old tutorial for using `Effects` in Idris.

Results 0 eff-tutorial issues
Sort by recently updated
recently updated
newest added

← Metadata

24
Stars
5
Forks
Watchers

Owner

verified publisher icon idris-hackers

Metadata

An old tutorial for using `Effects` in Idris.

Back