idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2025-01-08 08:52:22 +03:00
Code Issues Projects Releases Wiki Activity
08d9e7d82c
Idris2/support
History
Kamil Shakirov 08d9e7d82c [ install ] Install non-executable files with the executable flag off
2021-08-31 13:21:19 +01:00
..
c Remove DirInfo.error 2021-08-30 17:08:15 +01:00
chez [ install ] Install non-executable files with the executable flag off 2021-08-31 13:21:19 +01:00
docs [ fix #1635 ] Show module docstring in HTML backend 2021-08-20 14:43:07 +01:00
gambit Merge pull request #1638 from stepancheg/idris2-time 2021-07-16 09:40:08 +01:00
js [ fix ] fix #1839 (#1857) 2021-08-24 15:43:22 +01:00
racket More Scheme readback machinery 2021-08-05 17:01:53 +01:00
refc [ install ] Install non-executable files with the executable flag off 2021-08-31 13:21:19 +01:00