Kind2 0.3

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)

kind-scm 1.0.104

v1.0.104

bump version number

kind-scm 1.0.95

v1.0.95

release new version

kind-scm 1.0.94

v1.0.94

Merge branch 'master' into rheidner/syntax

kind-scm 1.0.93

v1.0.93

Merge branch 'master' into forall-change

kind-scm 1.0.86

v1.0.86

update scheme

kind-scm 1.0.84

v1.0.84

Merge branch 'master' of https://github.com/uwu-tech/kind

kind-scm 1.0.83

v1.0.83

rebuild scheme

kind-scm 1.0.69

Merge branch 'master' of github.com:uwu-tech/kind

kind-scm 1.0.59

SHA-256:

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