Skip to content

Merge branch 'main' into fix/idris-lang-chapel-not-c

f41ee93
Select commit
Loading
Failed to load commit list.
Merged

fix(proofs): align Idris Lang enum with Rust (Chapel not C) — closes #41 #46

Merge branch 'main' into fix/idris-lang-chapel-not-c
f41ee93
Select commit
Loading
Failed to load commit list.