Add bind_let rule

This rule is used by Carcara's elaborator when eliminating the implicit use of symmetry of equality.

Addresses #46

added 1 commit

• 9ccddaf8 - Apply 4 suggestion(s) to 1 file(s)

Compare with previous version

added 1 commit

• 18be3111 - Adapt bind_let example, cleanup

Compare with previous version

added 1 commit

• 01986967 - Add bind_let to changelog

Compare with previous version

I think this is now ready to merge. I implemented the suggested changes.

resolved all threads

added 5 commits

• 5d615575 - 1 commit from branch master
• e0f6ccaf - Add bind_let rule
• 42e29c42 - Apply 4 suggestion(s) to 1 file(s)
• fc1beb86 - Adapt bind_let example, cleanup
• e6edb93a - Add bind_let to changelog

Compare with previous version

mentioned in commit 4fd59f84

merged