aria.rip / wasm-agda
This repository has no description
Star
Fork 0
Watch
wasm-agda src Wasm
12 files
Configuration.agda
Equality.agda
Instructions.agda
Lists.agda
Numbers.agda
Progress.agda
Reduction.agda
Scripts.agda
Show.agda
Types.agda
Untyped.agda
Validation.agda