David Binder

icon indicating a website link binderdavid.github.io

icon company University of Kent icon location Canterbury, UK icon location Researcher in type theory and programming languages

Results 42 comments of David Binder

prettyprinter-ansi-terminal is not compatible with -text option

#207 and #208 are related

Add prefix for henforcer

Yup, sounds good! Ping me when you are ready.