>Cameron> Wimp :-) > >Hey, I do programming for fun. If I was trying to prove something I'd >use TECO ;) If I were trying to prove something, I'd write it in Prolog using ex :-) (I *love* Prolog, by the way. One of these days I'll write a Prolog interpreter for the Commie.) -- Cameron Kaiser *** http://calvin.ptloma.edu/~spectre/ *** email@example.com "Please dispose of this message in the usual manner." -- Mission: Impossible - This message was sent through the cbm-hackers mailing list. To unsubscribe: echo unsubscribe | mail firstname.lastname@example.org.
Archive generated by hypermail 2.1.1.