Idris

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

Types as Interpreters for HDLs to Graphs.

Posted on 2022-05-25

idris dependent-types border-patrol tdvcs hdl systemverilog

Thoughts on API Design for Dependently-Typed Languages

Posted on 2021-11-29

idris type-systems dependent-types typing

Formalising the (Sub-)Structural Aspects of SystemVerilog

Posted on 2021-03-08

idris soc hardware substructural-type-systems dependent-types border-patrol tdd plas

Faking Linear Variable Usage

Posted on 2021-01-25

idris dependent-types tdd musing

Synthesised or Checked?

Posted on 2021-01-22

idris dependent-types tdd musing