Sounds good.
Please see my comment attached to this commit:
https://github.com/gambit/gambit/commit/63c6e1a324875959946b7f28f6a4eb1141fa...
But I still don’t know how to implement it.
Brad
On May 3, 2017, at 10:23 PM, Nicolas Hurtubise nicolas.k.hurtubise@gmail.com wrote:
Hi !
I'm one of Marc's students, I'll be working on improving the universal backend as a summer project.
The issues were mainly added as a list of things to fix during the summer, but if anyone is interested in helping out, contacting Marc and me would be a good starting point.
Nicolas
Gambit-list mailing list Gambit-list@iro.umontreal.ca https://webmail.iro.umontreal.ca/mailman/listinfo/gambit-list