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 _______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer
