Notes

Quick thoughts, snippets, and things worth remembering.

• CTL glossary

  21 Apr, 2026

  This glossary defines the terms used in the CTL specification. It is not intended to be exhaustive, but rather to provide a common understanding of the key concepts and terminology used in the specification.

• Core build automation stuff

  2 Apr, 2026

  A quick reference note about build automation.

• Linceses

  31 Mar, 2026

  note about licenses

• Hello Notes

  31 Mar, 2026

  The first note — a quick test of the notes section.

• Data Structures in Prolog

  28 Jul, 2025

  I talk about lists, numbers and graphs in prolog.

• Prolog Overview

  24 Jul, 2025

  Simple prolog overview to get a grasp of what it is and how to use it.