 Ulf Norell
|
2f212bf556
Add --auto-inline and make it off by default
|
пре 4 година |
 =
|
4e989c1a05
Updated to std-lib v1.1
|
пре 5 година |
 Liang-Ting Chen
|
0593e016af
Make Abs and Arg in Builtin.Reflection universe polymorphic (#3793)
|
пре 5 година |
|
=
|
1cc377b2d9
Updated to v1.0 of the standard library
|
пре 6 година |
 Andrés Sicard-Ramírez
|
ec3e855918
[ std-lib ] Updated submodule commit and some test cases.
|
пре 6 година |
|
=
|
98049b8653
Updated std-lib submodule to commit fa530e4add7f39d32944aa0413fef4cc3208f79e and edited tests in LibSucceed to use old version of list filtering
|
пре 7 година |
|
Andrés Sicard-Ramírez
|
c98e6d0d7c
Merge agda-maint
|
пре 9 година |
|
Andrés Sicard-Ramírez
|
06ab82bbb7
[ #1753 ] Renamed lib-succeed to LibSucceed.
|
пре 9 година |
