This website requires JavaScript.
Explore
Help
Sign In
idris-lang
/
Idris2
Watch
1
Star
1
Fork
0
You've already forked Idris2
mirror of
https://github.com/idris-lang/Idris2.git
synced
2024-12-01 01:09:03 +03:00
Code
Issues
Projects
Releases
Wiki
Activity
ae9da0e8ce
Idris2
/
support
History
Johann Rudloff
ae9da0e8ce
Reformat docs CSS file to comply with code style guide (and make the linter happy)
2021-04-26 22:48:24 +02:00
..
c
Fix issues with use of unix sockets (
#1284
)
2021-04-12 11:22:45 +01:00
chez
Replace prim__getArgs with prim__getArgsCount and prim__getArg
2021-04-03 10:45:02 +02:00
docs
Reformat docs CSS file to comply with code style guide (and make the linter happy)
2021-04-26 22:48:24 +02:00
gambit
Replace prim__getArgs with prim__getArgsCount and prim__getArg
2021-04-03 10:45:02 +02:00
js
Windows test fixes
2021-04-12 18:47:57 +02:00
racket
Fix Racket blodwen-arg for real
2021-04-10 11:16:14 +02:00
refc
Fixes from trying to compile idris with the refc backend
2021-04-02 15:02:40 +02:00