Cambridge
I am an Associate Professor in Logical Foundations and Formal Methods at University of Cambridge in the Department of Computer Science and Technology.
1707af0 fix incorrect neovim configuration
~jonsterling pushed to ~jonsterling/forester-notes.org git
1fd85a3 some minor tweaks
~jonsterling pushed to ~jonsterling/forester-notes.org git
138aea7 Module scope hygiene
~jonsterling pushed to ~jonsterling/ocaml-forester git
862fd49 Compressing the code of the language server
~jonsterling pushed to ~jonsterling/ocaml-forester git
5352433 update theme
~jonsterling pushed to ~jonsterling/forester-notes.org git
5c3d52b update forester.js for sorted manifest
~jonsterling pushed to ~jonsterling/forester-base-theme git
c8eb2a3 [Breaking] Improve sorting of trees, change format of json manifest
~jonsterling pushed to ~jonsterling/ocaml-forester git
80121ee fix broken links
~jonsterling pushed to ~jonsterling/ocaml-forester git
170a4a6 Fix what I think is a bug in \open
~jonsterling pushed to ~jonsterling/ocaml-forester git
4b2ddd9 remove Expand.F effect in favour of explicit flow
~jonsterling pushed to ~jonsterling/ocaml-forester git
dfb7f02 promote test (pertains to 2ee5dc30bdd218f486858c80787759d5a2b0752d)
~jonsterling pushed to ~jonsterling/ocaml-forester git
50aef2b Fix what I think is a bug in \open
~jonsterling pushed to ~jonsterling/ocaml-forester git
d9a8273 dev mode should have spurious warnings disabled
~jonsterling pushed to ~jonsterling/ocaml-forester git
3e9593f dev mode should have spurious warnings disabled
~jonsterling pushed to ~jonsterling/ocaml-forester git