Download Latest Version Kind2 0.3 source code.tar.gz (152.7 kB)
Email in envelope

Get an email when there's a new version of Higher Order Kind

Home / v2.0.3-alpha
Name Modified Size InfoDownloads / Week
Parent folder
Kind2 0.3 source code.tar.gz 2022-12-01 152.7 kB
0
Kind2 0.3 source code.zip 2022-12-01 219.4 kB
0
README.md 2022-12-01 266 Bytes
0
Totals: 3 Items   372.4 kB 0

What's Changed

  • No more .type files and derive command.
  • Match and Let syntax were modified
  • Ask is not necessary when binding monadic operations
  • Better error messages
  • Lambdas require parenthesis in a lot of contexts (like in function calls)
Source: README.md, updated 2022-12-01