Cambridge
I am an Associate Professor in Logical Foundations and Formal Methods at University of Cambridge in the Department of Computer Science and Technology.
ff6a482 Pull out the parser into a standalone library
~jonsterling pushed to ~jonsterling/ocaml-forester git
66bba71 format repository
~jonsterling pushed to ~jonsterling/ocaml-forester git
7338bf1 Simplify Iri_resolver
~jonsterling pushed to ~jonsterling/ocaml-forester git
3965600 cleanup in Htmx_client
~jonsterling pushed to ~jonsterling/ocaml-forester git
d1cb374 decrease margin of top nav
~jonsterling pushed to ~jonsterling/forester-base-theme git
b56dcfa make the plain text renderer take a router
~jonsterling pushed to ~jonsterling/ocaml-forester git
468c1df Iri_resolver: stylistic improvement
~jonsterling pushed to ~jonsterling/ocaml-forester git
ae2a449 stylistic improvement (avoiding inline functions in pipelines)
~jonsterling pushed to ~jonsterling/ocaml-forester git
0f83b50 Decouple import graph from datalog relations (see note below)
~jonsterling pushed to ~jonsterling/ocaml-forester git
08b3634 don't sandbox the tmp dir
~jonsterling pushed to ~jonsterling/ocaml-forester git
8756146 Change in dune's automatic forester.opam
~jonsterling pushed to ~jonsterling/ocaml-forester git
a1aeb30 fix mistake
~jonsterling pushed to ~jonsterling/forester-notes.org git
2b41809 add my presentation
~jonsterling pushed to ~jonsterling/forester-notes.org git
66bba71 format repository
~jonsterling pushed to ~jonsterling/ocaml-forester git