Proxy and new-typeable
bgamari.foss at gmail.com
Thu Apr 18 22:13:37 CEST 2013
Richard Eisenberg <eir at cis.upenn.edu> writes:
> Hi Ben,
> Oops. I had updated this page
> [http://hackage.haskell.org/trac/ghc/wiki/TypeLevelReasoning] with
> details but forgot to advertise. Pedro and I are scheduled to discuss
> next week, and I do hope that this get implemented/committed before
> April is out.
Great! Thanks for the update.
More information about the Libraries