3 Mai
2017
3 Mai
'17
22:13
I don’t know how many readers of this Gambit mail list follow what happens on the Github site for the Gambit development sources, but Marc added a breakdown of a bunch of separate tasks that would improve the Gambit universal backend:
https://github.com/gambit/gambit/issues
Specifically, they’re issues numbered 232 to 246.
The universal backend is not in my areas of expertise, but perhaps some of you are interested in and capable of moving it forward.
Brad