Former mathematician. Glaikit type theory phd student
- Glasgow
- http://bishboria.com
Block or Report
Block or report bishboria
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
learnyouahaskell Public
Code from Learn You A Haskell book: http://learnyouahaskell.com/
-
vim-globalreplace Public
Replace all occurences of a word from all files in the current directory and below
Vim script 3