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