User loginNavigation |
archivesBest Common Lisp IDE?As I am starting to learn Common Lisp, it would be great to do so using an easy to use environment/IDE. What would you recoomend? thanks, Wheat - A Language for Web Sites
Just stumbled across Wheat and thought people here might be vaguely interested. At first glance, a bit like Squeak via a web server. It has been mentioned only briefly before. A Tutorial on Proof Theoretic Foundations of Logic Programming
A Tutorial on Proof Theoretic Foundations of Logic Programming. Paola Bruscoli and Alessio Guglielmi. ICLP'03.
I just glanced through this tutorial, but since I know quite a few LtU readers are into proof theory, I thought I'd share the link. By Ehud Lamm at 2005-03-20 22:17 | Logic/Declarative | Theory | 2 comments | other blogs | 9125 reads
|
Browse archivesActive forum topics |
Recent comments
1 day 10 hours ago
1 day 16 hours ago
3 days 2 hours ago
3 days 2 hours ago
3 days 7 hours ago
5 days 19 hours ago
3 weeks 3 days ago
3 weeks 3 days ago
3 weeks 3 days ago
3 weeks 6 days ago