Changelog for idris-1.0.1

New in 1.0.1

Library Updates

Tool Updates

New in 1.0

New in 0.99.2

Library Updates

Tool Updates

Miscellaneous Updates

New in 0.99.1:

Language updates

Tool Updates

Library Updates

New in 0.99:

Language updates

Library updates

Tool updates

Miscellaneous updates

UI Changes

New in 0.12:

Language updates

Library updates

iPKG Updates

Miscellaneous updates

Reflection changes

New in 0.11

Updated export rules

Improved C FFI

Effects

Elaborator reflection updates

Minor language changes

External Dependencies

New in 0.10

New in 0.9.20

Language updates

Library updates

Tool updates

Miscellaneous updates

New in 0.9.19

New in 0.9.18:

New in 0.9.17

New in 0.9.16

New in 0.9.15

New in 0.9.14

New in 0.9.13

Internal changes

New in 0.9.12

New in 0.9.11

Internal changes

New in 0.9.10

Internal changes

New in 0.9.9

User visible changes

Internal changes

New in 0.9.8

User visible changes

Internal Changes

New in 0.9.7

User visible changes

Internal Changes

New in 0.9.6

User visible changes

Internal Changes

New in 0.9.5

User visible changes

Internal changes

New in 0.9.4:

User visible changes

Internal changes

New in 0.9.3

User visible changes

Internal changes

New in 0.9.2

User visible changes

Internal changes

New in 0.9.1

User visible changes

Internal changes

0.1.x to 0.9.0

Complete rewrite.

User visible changes

Internal changes

This is the first release of a complete reimplementation. There will be bugs. If you find any, please do not hesitate to contact Edwin Brady (ecb10@st-andrews.ac.uk).