use typename
[prop.git] / notes / 
tree77393513e092ca9827a4442f95164fe6d2e3031c
drwxr-xr-x   ..
-rw-r--r-- 2440 GarbageCollection.txt
-rw-r--r-- 1239 HashConsing.txt
-rw-r--r-- 2461 Lists.txt
-rw-r--r-- 8537 Persistence.txt
-rw-r--r-- 1623 Poly.txt
-rw-r--r-- 1287 ReferenceCounting.txt
-rw-r--r-- 2138 Regexp.txt
-rw-r--r-- 1776 Rewriting.txt