Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 2 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 (over 7 years ago)
- Default Branch: master
- Last Pushed: 2018-09-27T15:30:30.000Z (over 6 years ago)
- Last Synced: 2023-08-13T04:02:03.925Z (over 1 year ago)
- Topics: editor, emacs, idris, tactics
- Language: TeX
- Homepage:
- Size: 7.51 MB
- Stars: 9
- Watchers: 9
- Forks: 0
- Open Issues: 0