Instruction.agda « Semantics « Wasm « src - yellowsquid/agda-wasm.git - Agda implementation of WebAssembly

summary refs log tree commit diff

path: root/src/Wasm/Semantics/Instruction.agda

blob: 5edd58b7417c4ec329debfd3fa45ee18ba1004e5 (plain)

{-# OPTIONS --safe --without-K #-}

module Wasm.Semantics.Instruction where