Zoe Stafford

Results 1 repositories owned by Zoe Stafford

Idris2-Grin

31
Stars
2
Forks
Watchers

GRIN backend for Idris2

verified publisher icon Z-snails