Fast and flexible runtime type-checking: Type checks are optimized by the compiler and types can be composed, re-used and turned into property-testing generators. TypeCheck also focuses on showing understandable messages on typecheck-failures.
Current section
40 Versions
Jump to
Current section
40 Versions
Versions
October 21, 2024
October 21, 2024
July 04, 2023
February 20, 2023
January 30, 2023
October 31, 2022
October 27, 2022
October 15, 2022
October 12, 2022
October 12, 2022
June 30, 2022
June 06, 2022
May 29, 2022
April 10, 2022
February 12, 2022
January 26, 2022
December 14, 2021
November 20, 2021
October 30, 2021
October 26, 2021
October 18, 2021
October 17, 2021
October 09, 2021
October 04, 2021
October 04, 2021
October 01, 2021
September 29, 2021
September 25, 2021
September 22, 2021
September 20, 2021
November 18, 2020
November 15, 2020
November 15, 2020
October 10, 2020
September 19, 2020
July 22, 2020
July 18, 2020
July 11, 2020
July 07, 2020
July 07, 2020
| Version | Publish Date | Note | Actions |
|---|---|---|---|
| 0.13.7 | October 21, 2024 |
|
|
| 0.13.6 | October 21, 2024 |
|
|
| 0.13.5 | July 04, 2023 |
|
|
| 0.13.4 | February 20, 2023 |
|
|
| 0.13.3 | January 30, 2023 |
|
|
| 0.13.2 | October 31, 2022 |
|
|
| 0.13.1 | October 27, 2022 |
|
|
| 0.12.4 | October 15, 2022 |
|
|
| 0.12.3 | October 12, 2022 |
|
|
| 0.12.2 | October 12, 2022 |
|
|
| 0.12.1 | June 30, 2022 |
|
|
| 0.12.0 | June 06, 2022 |
|
|
| 0.11.0 | May 29, 2022 |
|
|
| 0.10.8 | April 10, 2022 |
|
|
| 0.10.7 | February 12, 2022 |
|
|
| 0.10.6 | January 26, 2022 |
|
|
| 0.10.5 | December 14, 2021 |
|
|
| 0.10.4 | November 20, 2021 |
|
|
| 0.10.3 | October 30, 2021 |
|
|
| 0.10.2 | October 26, 2021 |
|
|
| 0.10.1 | October 18, 2021 |
|
|
| 0.10.0 | October 17, 2021 |
|
|
| 0.9.0 | October 09, 2021 |
|
|
| 0.8.2 | October 04, 2021 |
|
|
| 0.8.1 | October 04, 2021 |
|
|
| 0.8.0 | October 01, 2021 |
|
|
| 0.7.0 | September 29, 2021 |
|
|
| 0.6.0 | September 25, 2021 |
|
|
| 0.5.0 | September 22, 2021 |
|
|
| 0.4.0 | September 20, 2021 |
|
|
| 0.3.2 | November 18, 2020 |
|
|
| 0.3.1 | November 15, 2020 |
|
|
| 0.3.0 | November 15, 2020 |
|
|
| 0.2.3 | October 10, 2020 |
|
|
| 0.2.2 | September 19, 2020 |
|
|
| 0.2.1 | July 22, 2020 |
|
|
| 0.2.0 | July 18, 2020 |
|
|
| 0.1.2 | July 11, 2020 |
|
|
| 0.1.1 | July 07, 2020 |
|
|
| 0.1.0 | July 07, 2020 |
|
