https://github.com/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"
https://github.com/joom/edit-time-tactics
editor emacs idris tactics
Last synced: 4 months ago
JSON representation
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"
- Host: GitHub
- URL: https://github.com/joom/edit-time-tactics
- Owner: joom
- Created: 2017-09-19T16:10:20.000Z (almost 9 years ago)
- Default Branch: master
- Last Pushed: 2018-09-27T15:30:30.000Z (almost 8 years ago)
- Last Synced: 2025-06-19T18:19:05.836Z (about 1 year ago)
- Topics: editor, emacs, idris, tactics
- Language: TeX
- Homepage:
- Size: 7.51 MB
- Stars: 9
- Watchers: 8
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# edit-time-tactics
Documents (TeX, slides, poster etc.) for my master's thesis, titled "Edit-Time Tactics in Idris".
([PDF of the thesis](http://cattheory.com/editTimeTacticsDraft.pdf), [PDF of the poster](http://cattheory.com/editTimeTacticsPoster.pdf), [Screencast of a use case](https://asciinema.org/a/178754))