Skip to content

Companion PR for https://github.com/FStarLang/karamel/pull/518#129

Merged
msprotz merged 1 commit intomainfrom protz_enumsJan 9, 2025

Commits

Commits on Jan 8, 2025