forked from agda/agda-stdlib
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathCHANGELOG
226 lines (151 loc) · 7.58 KB
/
CHANGELOG
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
------------------------------------------------------------------------
-- Release notes for Agda standard library version X.Y
------------------------------------------------------------------------
The library has been tested using Agda version A.B.C.
Note that no guarantees are made about backwards or forwards
compatibility, the library is still at an experimental stage.
If you want to compile the library using the MAlonzo compiler, then
you should first install some supporting Haskell code, for instance as
follows:
cd ffi
cabal install
Currently the library does not support the Epic or JavaScript compiler
backends.
Important changes since 0.9.1:
------------------------------------------------------------------------
-- Release notes for Agda standard library version 0.9
------------------------------------------------------------------------
The library has been tested using Agda version 2.4.2.1.
Note that no guarantees are made about backwards or forwards
compatibility, the library is still at an experimental stage.
If you want to compile the library using the MAlonzo compiler, then
you should first install some supporting Haskell code, for instance as
follows:
cd ffi
cabal install
Currently the library does not support the Epic or JavaScript compiler
backends.
Important changes since 0.8.1:
* Data.List.NonEmpty
Non-empty lists are no longer defined in terms of Data.Product._×_,
instead, now they are defined as record with fields head and tail.
* Reflection API
** Quoting levels was fixed. This fix could break some code (see
Agda issue 1207).
** The Reflection.type function returns a normalised Reflection.Type
and quoteTerm returns an η-contracted Reflection.Term now. These
changes could break some code (see Agda issue 1269).
** The primitive function for showing names, primShowQName, is now
exposed as Reflection.showName.
* Removed compatibility modules for Props -> Properties rename
Use Foo.Properties.Bar instead of Foo.Props.Bar.
------------------------------------------------------------------------
-- Version 0.8.1
------------------------------------------------------------------------
The library has been tested using Agda version 2.4.2.
Note that no guarantees are made about backwards or forwards
compatibility, the library is still at an experimental stage.
If you want to compile the library using the MAlonzo compiler, then
you should first install some supporting Haskell code, for instance as
follows:
cd ffi
cabal install
Currently the library does not support the Epic or JavaScript compiler
backends.
Important changes since 0.8:
* Reflection API
Agda 2.4.2 added support for literals, function definitions, pattern
matching lambdas and absurd clause/patterns (see Agda release
notes). The new supported entities were added to the Reflection.agda
module.
* Modules renamed
Foo.Props.Bar -> Foo.Properties.Bar
The current compatibility modules Foo.Props.Bar will be removed in
the next release.
------------------------------------------------------------------------
Version 0.8
------------------------------------------------------------------------
Version 0.8 of the standard library has now been released, see
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary.
The library has been tested using Agda version 2.4.0.
Note that no guarantees are made about backwards or forwards
compatibility, the library is still at an experimental stage.
If you want to compile the library using the MAlonzo compiler, then
you should first install some supporting Haskell code, for instance as
follows:
cd ffi
cabal install
Currently the library does not support the Epic or JavaScript compiler
backends.
------------------------------------------------------------------------
Version 0.7
------------------------------------------------------------------------
Version 0.7 of the standard library has now been released, see
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary.
The library has been tested using Agda version 2.3.2.
Note that no guarantees are made about backwards or forwards
compatibility, the library is still at an experimental stage.
If you want to compile the library using the MAlonzo compiler, then
you should first install some supporting Haskell code, for instance as
follows:
cd ffi
cabal install
Currently the library does not support the Epic or JavaScript compiler
backends.
-------------------------------------------------------------------
Version 0.6
------------------------------------------------------------------------
Version 0.6 of the standard library has now been released, see
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary.
The library has been tested using Agda version 2.3.0.
Note that no guarantees are made about backwards or forwards
compatibility, the library is still at an experimental stage.
If you want to compile the library using the MAlonzo compiler, then
you should first install some supporting Haskell code, for instance as
follows:
cd ffi
cabal install
Currently the library does not support the Epic or JavaScript compiler
backends.
------------------------------------------------------------------------
Version 0.5
------------------------------------------------------------------------
Version 0.5 of the standard library has now been released, see
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary.
The library has been tested using Agda version 2.2.10.
Note that no guarantees are made about backwards or forwards
compatibility, the library is still at an experimental stage.
------------------------------------------------------------------------
Version 0.4
------------------------------------------------------------------------
Version 0.4 of the standard library has now been released, see
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary.
The library has been tested using Agda version 2.2.8.
Note that no guarantees are made about backwards or forwards
compatibility, the library is still at an experimental stage.
------------------------------------------------------------------------
Version 0.3
------------------------------------------------------------------------
Version 0.3 of the standard library has now been released, see
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary.
The library has been tested using Agda version 2.2.6.
Note that no guarantees are made about backwards or forwards
compatibility, the library is still at an experimental stage.
------------------------------------------------------------------------
Version 0.2
------------------------------------------------------------------------
Version 0.2 of the "standard" library has now been released, see
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary.
The library has been tested using Agda version 2.2.4.
Note that no guarantees are made about backwards or forwards
compatibility, the library is still at an experimental stage.
Note also that the library sources are now located in the
sub-directory lib-<version>/src of the installation tarball.
------------------------------------------------------------------------
Version 0.1
------------------------------------------------------------------------
Version 0.1 of the "standard" library has now been released, see
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary.
The library has been tested using Agda version 2.2.2.
Note that no guarantees are made about backwards or forwards
compatibility, the library is still at an experimental stage.