Sign inSign up

thalerjonathan/gloss-idris

A port of the gloss library from Haskell to Idris

IdrisStars 23Forks 1Watchers 23Open issues 10License Other
Details
仓库信息
Ownerthalerjonathan
Homepage—
GitHubhttps://github.com/thalerjonathan/gloss-idris
Last pushed2018-07-09
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--