GitHub repository: Kha/do-supplement
Primary language: Lean
Description: Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"