luminousfennell/pointex
Point extractor for Daphne
My emacs configuration
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Point extractor for Daphne
Source code for Fun-FR Agda Tutorials
Utilities to spawn commands with dtach from dired
Try to use MTC for a simple smallstep developement