|
From: | Hans Aberg |
Subject: | Avoiding variable clashes |
Date: | Wed, 13 Apr 2011 14:57:29 +0200 |
What method is Guile using to avoid substitution variable clashes (de Bruijn numbers, combinators, etc.)? Hans
[Prev in Thread] | Current Thread | [Next in Thread] |