benkavanagh

Pinned Repositories

ccoq-explicit-sn
Strong Normalisation for lambda calculus w/ explicit substitutions using Kripke models.
71
spacemacs-ben
Language:Emacs Lisp00
xkb-files
Language:Shell00

benkavanagh's Repositories

benkavanagh/spacemacs-ben
Language:Emacs Lisp
benkavanagh/xkb-files
Language:Shell
benkavanagh/ccoq-explicit-sn
Strong Normalisation for lambda calculus w/ explicit substitutions using Kripke models.
71