joom/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"

语言：TeX · GitHub 星标：9 · Fork：0

话题：editor · emacs · idris · tactics

在 GitHub 上查看原仓库