Grammar.Types

type Weight

data Grammar meta a

data Rule meta a

type Head a

type Activation

type Body meta a

data Term meta a

class Expand input a meta b

type Grammarly input a meta b

runGrammar

always

(/\)

(\/)

(|:)

(-|)

(-||)

($:)

(|$:)

(|->)