idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-01 01:09:03 +03:00
Code Issues Projects Releases Wiki Activity
dccb80d0bf
Idris2/support/docs
History
Kamil Shakirov dccb80d0bf [ fix ] Fix Makefile targets for linear and papers libraries
2022-11-15 16:38:13 +01:00
..
alternative.css [ fix ] show keywords & bound variables 2022-04-14 12:17:11 +01:00
blackandwhite.css [ fix ] show keywords & bound variables 2022-04-14 12:17:11 +01:00
default.css [ fix ] show keywords & bound variables 2022-04-14 12:17:11 +01:00
index.html [ fix ] Fix Makefile targets for linear and papers libraries 2022-11-15 16:38:13 +01:00