eric-corumdigital

module FRIST-SYNTAX

  imports BOOL

  syntax Expr ::= Expr "+" Expr [left, strict]
                | "(" Expr ")" [bracket]
                | Ident
  
  syntax Ident ::= "x" | "y" | "z"

eric-corumdigital

// simple.k

module SIMPLE-SYNTAX

endmodule

module SIMPLE
  
  imports BOOL
  imports INT

eric-corumdigital

module SIMPLE-SYNTAX

endmodule

module SIMPLE
  
  imports BOOL
  imports INT

  syntax Bitfield ::= Bitfield Bit

eric-corumdigital

module SIMPLE-SYNTAX

endmodule

module SIMPLE
  
  imports BOOL
  imports INT

  syntax Bitfield ::= Bitfield Bit

eric-corumdigital

module SIMPLE-SYNTAX

endmodule

module SIMPLE
  
  imports BOOL
  imports INT

  syntax S ::= "mul(" S "," S ")"

eric-corumdigital

module SIMPLE-SYNTAX

endmodule

module SIMPLE
  
  imports BOOL
  imports INT

  syntax S ::= "mul(" S "," S ")"

eric-corumdigital

module Main where

import Data.Generic.Rep (class Generic, Argument, Constructor, Product)
import Effect (Effect)
import Effect.Class.Console as Console
import Effect.Uncurried (EffectFn1, EffectFn2, EffectFn3, runEffectFn1, runEffectFn2, runEffectFn3)
import Prelude (Unit, bind, discard, (>>=))
import Type.Data.Peano.Nat (class IsNat, NProxy, Succ, Z, d0, reflectNat, kind Nat)

-- Any product data type with a Generic instance can be made mutable!