; Jonathan Frech, 19th of March 2029

<| prelude.zpr

(init ())                |> error:init:empty-list
(init (' ._ ()))         |> ()
(init (' .x (' .y .ys))) |> (' x (init (' y ys)))


(parse ()) |> ()
(parse (' MNS .src)) |> (' DEC (parse src))
(parse (' PLS .src)) |> (' INC (parse src))
(parse (' LES .src)) |> (' LFT (parse src))
(parse (' GRT .src)) |> (' RGT (parse src))
(parse (' PER .src)) |> (' WRT (parse src))
(parse (' COM .src)) |> (' RED (parse src))
(parse (' BRK .src)) |> (' (LOP : (takeBody src)) (parse (dropBody src)))
(parse (' KRB .src)) |> error

(takeBody .src) |> (init (takeBody' 1 src))
(dropBody .src) |> (drop (length (takeBody' 1 src)) src)

(takeBody' () ._) |> ()
(takeBody' ._ ()) |> ERR
(takeBody' (S .n) (' MNS .src)) |> (' MNS (takeBody' (S n) src))
(takeBody' (S .n) (' PLS .src)) |> (' PLS (takeBody' (S n) src))
(takeBody' (S .n) (' LES .src)) |> (' LES (takeBody' (S n) src))
(takeBody' (S .n) (' GRT .src)) |> (' GRT (takeBody' (S n) src))
(takeBody' (S .n) (' PER .src)) |> (' PER (takeBody' (S n) src))
(takeBody' (S .n) (' COM .src)) |> (' COM (takeBody' (S n) src))
(takeBody' (S .n) (' BRK .src)) |> (' BRK (takeBody' (S (S n)) src))
(takeBody' (S .n) (' KRB .src)) |> (' KRB (takeBody' n src))


; TODO
(interpret .pointer .tape .input .program) |> ...



;main |> (parse (' BRK (' MNS (' KRB (' GRT (' PLS (' PLS ())))))))
main |> (parse (' PLS (' PLS (' PLS (' PLS (' PLS (' PLS (' PLS (' PLS (' BRK (' GRT (' PLS (' PLS (' PLS (' PLS (' BRK (' GRT (' PLS (' PLS (' GRT (' PLS (' PLS (' PLS (' GRT (' PLS (' PLS (' PLS (' GRT (' PLS (' LES (' LES (' LES (' LES (' MNS (' KRB (' GRT (' PLS (' GRT (' PLS (' GRT (' MNS (' GRT (' GRT (' PLS (' BRK (' LES (' KRB (' LES (' MNS (' KRB (' GRT (' GRT (' PER (' GRT (' MNS (' MNS (' MNS (' PER (' PLS (' PLS (' PLS (' PLS (' PLS (' PLS (' PLS (' PER (' PER (' PLS (' PLS (' PLS (' PER (' GRT (' GRT (' PER (' LES (' MNS (' PER (' LES (' PER (' PLS (' PLS (' PLS (' PER (' MNS (' MNS (' MNS (' MNS (' MNS (' MNS (' PER (' MNS (' MNS (' MNS (' MNS (' MNS (' MNS (' MNS (' MNS (' PER (' GRT (' GRT (' PLS (' PER (' GRT (' PLS (' PLS (' PER ())))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))