Context: Odin’s Most Misunderstood Feature

Parsing Advances

Formally speaking, "Transpiler" is a useless word

The Second Great Error Model Convergence

Odin's Most Misunderstood Feature: `context`

1ML for non-specialists: introduction

Inverse Parentheses

Datafun - functional language that generalizes Datalog

Simple Bidirectional Type Inference

Granule, a statically-typed linear functional language with graded modal types