search

Soonad / Formality-Core

Specification of the Formality proof and programming language
MIT License
40 stars 11 forks source link

Equality quick fix #6

Closed gabriel-barrett closed 4 years ago

gabriel-barrett commented 4 years ago

Fixed bind_free_vars and used it inside equal.