Re: [Toss-devel] New Speagram: terms with sharing
Status: Beta
Brought to you by:
lukaszkaiser
From: Lukasz K. <luk...@gm...> - 2012-09-21 22:55:03
|
> These are quantified variants of translating terms to structures... So > it would be natural to share code between translating to formulas and > translating to structures. And start with the latter since it's simpler. I'm afraid that I do not fully understand - why are these quantified variants of translating to structures, and why is that easier? I am surely in favour of starting with the easier thing! Lukasz |