5756d5c02a1f3fff98b4418a8445301af5256be5
-rw-r--r-- 13 skeleton.rkt
-rw-r--r-- 979 skeleton.tex
-rw-r--r-- 150 skeleton.xml