C

c

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