heades/thesis
This contains my Ph.D. thesis and related work.
This is a tool to help with setting up multiple Fossil repos. for a university course.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
This contains my Ph.D. thesis and related work.
Formalization of consistency of Dualized Intuitionistic Logic with respect Rauszer's extended Kripke semantics.
This is some stuff I used in a recent blog post about untyped lambda-calculi being actually typed.
Everything Idris