/

stefan-hoeck/idris2-pack

No description provided.

IdrisStars 138Forks 36Watchers 138Open issues 25License BSD 3-Clause "New" or "Revised" License

Details

仓库信息

Ownerstefan-hoeck

Homepage—

Last pushed2025-12-11

Last updated2025-12-13

Issues fetched at—

Stats

Community at a glance