 Liang-Ting Chen
|
35d7405120
[ re #5337 ] Use agda/text-icu instead of an additional patch (#5380)
|
3 anos atrás |
|
Liang-Ting Chen
|
9a02d08c13
[ fix #5120, #5259 ] A hotfix for building text-icu with icu4c 68+ (#5337)
|
3 anos atrás |
 Andreas Abel
|
4694f5f72a
[ #5271 ] Remove submodules fix-whitespace and hs-tags (#5310)
|
3 anos atrás |
|
Andreas Abel
|
9599ddf38c
[ #5271, agda/hs-tags#1 ] rename hTags to hs-tags
|
3 anos atrás |
|
Andreas Abel
|
e2b17953c8
[ #5271 ] submodule needs to be https:// for travis access
|
3 anos atrás |
|
Andreas Abel
|
4397473bb9
[ #5271 ] agda/hTags is now submodule src/hTags
|
3 anos atrás |
 =
|
b984fce554
Update stdlib to "experimental" branch
|
4 anos atrás |
|
Liang-Ting Chen
|
f2c2902dda
[ fix #4072 ] Use agda/fix-whitespace as a submodule (#4674)
|
4 anos atrás |
 Ulf Norell
|
9d3c4778c9
[ fix #4445 ] add cubical library to the test suite
|
4 anos atrás |
|
=
|
cea37b1c4d
Fastforwarded standard library for Andreas
|
6 anos atrás |
|
Matthew Daggitt
|
51ca340214
Updated standard library to v0.15
|
6 anos atrás |
 Andrés Sicard-Ramírez
|
116435aa4a
[ .gitmodules ] Using the master branch of the std-lib.
|
9 anos atrás |
 Víctor López Juan
|
8613973954
Keep track of std-lib as a git submodule
|
9 anos atrás |
