Skip to content

proof(idris2/abi): delete unsound alignmentMatchesPlatformWord, isola…

aac48b7
Select commit
Loading
Failed to load commit list.
Merged

proof(idris2/abi): delete unsound alignmentMatchesPlatformWord, isola… #40

proof(idris2/abi): delete unsound alignmentMatchesPlatformWord, isola…
aac48b7
Select commit
Loading
Failed to load commit list.