Revision as of 12:55, 17 February 2006 edit 129.247.247.239 (talk) The standard leaves it undfeined what happens when a variable is not of the declared type. In other words, it is as dangerous as C's casting. ← Previous edit		Revision as of 12:01, 21 February 2006 edit undo Pfunk42 (talk \| contribs) 171 edits "ACL2" is its name Next edit →
Line 205: There also exist successful open-source applications written in Common Lisp, such as: * [~~http://www.cs.utexas.edu/users/moore/acl2/ Applicative Common Lisp~~[ACL2]], a full-featured [[theorem prover]] for aan [[applicative]] ~~subset~~variant of Common Lisp. * [http://maxima.sourceforge.net/ Maxima], a sophisticated [[computer algebra system]]. * [http://compo.sourceforge.net Compo], a language allowing complex musical structures to be described in a natural way.

Common Lisp: Difference between revisions