Minuska.spec_syntax

From stdpp Require Import finite.

From Minuska Require Import
    prelude
.