search

UlfNorell / x86-agda

Inline, type safe X86-64 assembly programming in Agda
66 stars 2 forks source link

readme

Type-safe inline assembly code.