Please enable JavaScript in your browser!
Kezdőlap
Felfedezés
Súgó
Bejelentkezés
caryoscelus
/
agda
Figyelés
1
Kedvenc
0
Másolás
0
Fájlok
Problémák
0
Beolvasztási kérések
0
Wiki
Fa:
9c190b6ebc
Branch-ok
Tag-ek
js_amd
js_amd_patch
working
agda
/
.travis
Andrés Sicard-Ramírez
9f97aa5d30
[
#4955
] Used GHC 9.0.1 on Travis.
3 éve
..
cabal_install
9f97aa5d30
[
#4955
] Used GHC 9.0.1 on Travis.
3 éve
header.sh
a023a6de3c
[ .travis ] Fixed withespace issues.
5 éve