|
| From: | daly |
| Subject: | [Axiom-developer] Proving Axiom Correct: video worth watching |
| Date: | Sun, 27 Sep 2015 09:51:16 -0500 |
Currently I'm creating signatures for the lisp code. This caught my attention: "Propositions as Types" by Philip Wadler https://www.youtube.com/watch?v=IOiZatlZtGU Tim
| [Prev in Thread] | Current Thread | [Next in Thread] |