ToJans/idris101

Learning project by a group of people interested in learning the Idris language

IdrisStars 51Forks 12Watchers 51Open issues 1License The Unlicense

Details

仓库信息

OwnerToJans

Last pushed2015-02-18

Last updated2025-12-15

Issues fetched at—

Community at a glance