edit-time-tactics. Documents (TeX, slides, poster etc.) for my master's thesis, titled "Edit-Time Tactics in Idris", and the TyDe '18 paper, titled "Extensible Type-Directed Editing"

github.com/joom/edit-time-tactics
by @joom

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.