joom / edit-time-tactics Public

Notifications You must be signed in to change notification settings
Fork 0
Star 9

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"

9 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 168 Commits
code		code
files		files
poster		poster
slides		slides
temp		temp
thesis		thesis
tyde18		tyde18
.gitignore		.gitignore
README.md		README.md
TODO.md		TODO.md

Repository files navigation

edit-time-tactics

Documents (TeX, slides, poster etc.) for my master's thesis, titled "Edit-Time Tactics in Idris".

(PDF of the thesis, PDF of the poster, Screencast of a use case)

About

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"

editor emacs tactics idris

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages

TeX 93.4%
Idris 5.5%
Other 1.1%