Sign inSign up

edwinb/Idris2-boot

A dependently typed programming language, a successor to Idris

IdrisStars 900Forks 56Watchers 900Open issues 76License Other
Details
仓库信息
Owneredwinb
Homepagehttps://idris-lang.org/
GitHubhttps://github.com/edwinb/Idris2-boot
Last pushed2020-08-11
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--