Posts

Posted on 2025-04-03

Moodle Musing Scales, Grades, Marks, and Advanced Grading.

Posted on 2025-04-03

teaching musing

Towards Type-Driven Assurance of Communicating Systems

Posted on 2025-02-07

PIM Update

Posted on 2024-05-04

orgmode emacs pim

My (First) Research Programme

Posted on 2024-05-02

research spli tyde poster

Grading Utilities

Posted on 2024-01-01

haskell tips teaching

Some BibLaTeX Tricks to remember

Posted on 2023-09-19

bibtex tips latex

Declaring PIM Bankruptcy again...

Posted on 2023-02-23

orgmode emacs pim

Type Theory as a Workbench

Posted on 2023-02-01

idris eelco type-theory workbench reproducible

Efficient and Effective Provisioning of Virtual Machines for Artefact Evaluation

Posted on 2023-01-05

idris artifact reproducible nix

Follow the Trail! Visualising Bi-Directional Type-Checking as Network Communication.

Posted on 2022-06-08

idris dependent-types asg protocols bidi