add TR HISTORY
This commit is contained in:
parent
75208f4328
commit
78a04f47ca
|
@ -1,3 +1,6 @@
|
|||
6.10
|
||||
- Improve refinement types.
|
||||
- Split mutable and immutable hash types.
|
||||
6.9
|
||||
- Added initial steps towards refinement types.
|
||||
- Fixes related to numeric types and NaN.
|
||||
|
|
Loading…
Reference in New Issue
Block a user