[ new ] string splices - Githubissues

msp-strath / Mary

Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git

17 stars 1 forks source link

Closed gallais closed 4 years ago

gallais commented 4 years ago

Seems to be working. Currently

getMeATerm "foo\"hifoo`f(x)`foogoo\"foo"

gives me

String "foo" [("hi",App (Var (Nothing,"f")) [Var (Nothing,"x")])] "goo"