Merge the polymorphic branch into master

abella-prover / abella

An interactive theorem prover based on lambda-tree syntax

https://abella-prover.org/

GNU General Public License v3.0

89 stars 18 forks source link

Closed chaudhuri closed 5 years ago

chaudhuri commented 5 years ago

I'm reviewing the branch right now.

This issue is for tracking progress and discussing details.

Ping @yvting.

chaudhuri commented 5 years ago

This is done as of 26e75a3.