search

djspiewak / skolems

A microlibrary for Scala encodings of higher-rank quantifiers
Apache License 2.0
60 stars 8 forks source link

Make Exists.unapply work #4

Open djspiewak opened 4 years ago