C

c

A monadic translation of mini C into Iris's HeapLang [project website]