
From:  Gabriel Dos Reis 
Subject:  Re: [Axiomdeveloper] Proving Axiom Correct 
Date:  Thu, 12 Jan 2017 19:14:26 0800 
the formal logic basis.just a domain specific language implemented in Lisp then Spad sharesThe point is that Lisp has a formal logic basis and, as Spad is reallywhether your language is discovered or invented".are "invented" with no formal basis (e.g. C). As he says, "you can tell"discovered" based on fundamental logic principles (e.g.Lisp) and othersHe makes the interesting point late in the talk that some languages areTypes", a very entertaining talk, is here:I'm making progress on proving Axiom correct both at the Spad level andthe Lisp level. One interesting talk by Phillip Wadler on "Propositions as
https://www.youtube.com/watch?v=IOiZatlZtGU
_______________________________________________
Axiomdeveloper mailing list
address@hidden
https://lists.nongnu.org/mailman/listinfo/axiom developer
[Prev in Thread]  Current Thread  [Next in Thread] 