1 {-# LANGUAGE NoMonomorphismRestriction #-}
2 {-# LANGUAGE TemplateHaskell #-}
3 module Grammar.Playground where
6 import qualified Symantic.Parser.Haskell as H
8 boom :: Applicable repr => repr ()
10 let foo = (-- newRegister_ unit (\r0 ->
11 let goo = (-- newRegister_ unit (\r1 ->
12 let hoo = {-get r0 <~> get r1 *>-} goo *> hoo in hoo
14 in goo) *> pure H.unit