Formality Versions Save

Temporary repository for Kind2's refactor based on HVM2

v2.0.3-alpha

1 year ago

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)

v1.0.104

2 years ago

v1.0.95

2 years ago

v1.0.94

2 years ago

v1.0.93

2 years ago

v1.0.86

2 years ago

v1.0.84

2 years ago

v1.0.83

2 years ago

1.0.69

2 years ago

v1.0,59

2 years ago

SHA-256:

0b8f213483d31b2fa8bf5266d3219807ee920aaa12d2fb815e14c47c8ba469b1  kind-scm_1.0.1-0_amd64.deb