chrisamaphone/dissertation
CMU Ph.D. Dissertation
microkanren in sml
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
CMU Ph.D. Dissertation
SML modules examples for the Compose 2015 Conference.
Ludum Dare 31 project
Materials for a #PROCJAM 2014 submission that extracts Twine games from CLF traces.