search

gmalecha / mirror-core

A framework for extensible, reflective decision procedures.
Other
19 stars 5 forks source link

Second-class Polymorphic apply #84

Closed gmalecha closed 7 years ago

gmalecha commented 8 years ago

This should work on top of the same mechanism as #82.

gmalecha commented 7 years ago

Closed by 1267c6f546e215620a3ef4de8636639325219cba