Bill Page <bill.p...@newsynthesis.org> writes:

| On Mon, Oct 10, 2011 at 11:30 AM, Martin Baker wrote:
| > ...
| > So, I guess what I am asking is: would it make sense for me to try
| > to implement the OpenAxiom PropositionalLogic category and
| > PropositionalFormula domain in FriCAS?
| >
| 
| Yes! I think this would make very good sense.  It is a high compliment
| to the authors of the original software that you might want to copy
| and incorporate their work. This is one of the advantages of open
| source and it should be exploited whenever possible (licenses
| permitting).


   "imitation is the sincerest form of flattery"

:-)

-- Gaby

------------------------------------------------------------------------------
All the data continuously generated in your IT infrastructure contains a
definitive record of customers, application performance, security
threats, fraudulent activity and more. Splunk takes this data and makes
sense of it. Business sense. IT sense. Common sense.
http://p.sf.net/sfu/splunk-d2dcopy1
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel

Reply via email to