\n";
?>
Type Theory Notes
Short Notes
read())) {
if (( endsWith($entry, ".pdf")
||endsWith($entry, ".xoj")
||endsWith($entry, ".tar.gz")
||endsWith($entry, ".v")
||endsWith($entry, ".hs")
# A few special cases
||endsWith($entry, "dependentElimination.html")
||endsWith($entry, "dependentMatch.html")
)
&& is_readable("$dir$entry")) {
$files[] = $entry;
# echo "- $entry
\n";
} else {
# echo "- unreadable $entry
\n";
}
}
$d->close();
sort($files);
foreach($files as $entry) {
echo "- $entry
\n";
}
?>
Home -
Teaching -
Type Theory
Roberto Zunino, 2017