Skip to content

Codex RC3

Pre-release
Pre-release

Choose a tag to compare

View all tags
@mlemerre mlemerre released this 30 Sep 07:50
· 50 commits to main since this release
1.0-rc3
f44de9f

This release follows our OOPSLA'2024 paper https://codex.top/papers/2024-oopsla-typedc-dependent-nominal-physical-type-system.html with the latest Codex version

Assets 4
Loading