Posts

Posted on 2024-05-04

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

Being Positively Negative.

Posted on 2022-06-02

idris dependent-types

Wiring Circuits is as easy as 0-1-Omega, or is it...

Posted on 2022-05-31

idris dependent-types border-patrol tdvcs hdl systemverilog