idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-09-11 13:36:08 +03:00
Code Issues Projects Releases Wiki Activity
A purely functional programming language with first class types
467 Commits 5 Branches 9 Tags 120 MiB
Idris 95.5%
C 2.2%
Scheme 0.6%
Racket 0.4%
Makefile 0.3%
Other 1%
gh-pages
Go to file
Github Actions 2d2f9eeb32 Deploying to gh-pages from @ idris-lang/Idris2@53f448c0db 🚀
2024-09-11 08:42:02 +00:00
base Deploying to gh-pages from @ idris-lang/Idris2@53f448c0db 🚀 2024-09-11 08:42:02 +00:00
contrib Deploying to gh-pages from @ idris-lang/Idris2@53f448c0db 🚀 2024-09-11 08:42:02 +00:00
linear Deploying to gh-pages from @ idris-lang/Idris2@53f448c0db 🚀 2024-09-11 08:42:02 +00:00
network Deploying to gh-pages from @ idris-lang/Idris2@53f448c0db 🚀 2024-09-11 08:42:02 +00:00
papers Deploying to gh-pages from @ idris-lang/Idris2@53f448c0db 🚀 2024-09-11 08:42:02 +00:00
prelude Deploying to gh-pages from @ idris-lang/Idris2@53f448c0db 🚀 2024-09-11 08:42:02 +00:00
test Deploying to gh-pages from @ idris-lang/Idris2@53f448c0db 🚀 2024-09-11 08:42:02 +00:00
idris-logo-base.png Deploying to gh-pages from @ idris-lang/Idris2@9f93d4c1ec 🚀 2023-10-26 10:24:36 +00:00
index.html Deploying to gh-pages from @ idris-lang/Idris2@bee59d5fde 🚀 2023-10-27 20:33:15 +00:00
index.md Deploying to gh-pages from @ idris-lang/Idris2@bee59d5fde 🚀 2023-10-27 20:33:15 +00:00