Sign inSign up

idris-lang/Idris2

A purely functional programming language with first class types

IdrisStars 2800Forks 395Watchers 2800Open issues 605License Other
Details
仓库信息
Owneridris-lang
Homepagehttps://idris-lang.org/
GitHubhttps://github.com/idris-lang/Idris2
Last pushed2025-12-14
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--