diff options
| author | Miguel <m.i@gmx.at> | 2019-03-20 22:11:18 +0100 |
|---|---|---|
| committer | Miguel <m.i@gmx.at> | 2019-03-20 22:11:18 +0100 |
| commit | 56261f7ad041933bde8b314177c9b0fa499d067c (patch) | |
| tree | fb500fc2cccd4f1b7d532aedfbb2c650fe6cb337 | |
| parent | ac313bee238b9580c9586e025e90178b1268bbd4 (diff) | |
small changes
| -rw-r--r-- | 00_blog/00040_Haskell/00150_Applicative-vs-Monadic-Parsing/index.md | 4 | ||||
| -rw-r--r-- | 00_blog/00040_Haskell/00_00150_Applicative-vs-Monadic-Parsing/index.md | 1 | ||||
| -rw-r--r-- | Makefile | 4 |
3 files changed, 5 insertions, 4 deletions
diff --git a/00_blog/00040_Haskell/00150_Applicative-vs-Monadic-Parsing/index.md b/00_blog/00040_Haskell/00150_Applicative-vs-Monadic-Parsing/index.md index e57e084..5135527 100644 --- a/00_blog/00040_Haskell/00150_Applicative-vs-Monadic-Parsing/index.md +++ b/00_blog/00040_Haskell/00150_Applicative-vs-Monadic-Parsing/index.md @@ -153,7 +153,9 @@ parse (parseOp (+) '+' <|> parseOp (-) '-' <|> parseOp (*) '*' <|> parseOp (div) ## Monadic parsing of context-sensitive grammars -The canonical non-context-free language can not be caputred by applicative parsing anymore: $$\{a^n b^n c^n : n \geqslant 1\}$$ +The canonical non-context-free language can not be caputred by applicative parsing anymore: + +\$\$\\{a^n b^n c^n : n \\geqslant 1\\}$\$ The following monadic parser will work here: diff --git a/00_blog/00040_Haskell/00_00150_Applicative-vs-Monadic-Parsing/index.md b/00_blog/00040_Haskell/00_00150_Applicative-vs-Monadic-Parsing/index.md deleted file mode 100644 index f9b3a4e..0000000 --- a/00_blog/00040_Haskell/00_00150_Applicative-vs-Monadic-Parsing/index.md +++ /dev/null @@ -1 +0,0 @@ -Coming sooner... or later. @@ -1,8 +1,8 @@ ESTATICO_BIN=/home/miguel/git/estatico/.stack-work/install/x86_64-linux/lts-13.5/8.6.3/bin/estatico-exe build_idziorek_net: - - mkdir /mnt/andromeda/htmlpub/idziorek_net/ + -mkdir /mnt/andromeda/htmlpub/idziorek_net/ ${ESTATICO_BIN} /home/miguel/git/idziorek_net/ /mnt/andromeda/htmlpub/idziorek_net https://www.idziorek.net clean_idziorek_net: - rm /mnt/andromeda/htmlpub/idziorek_net/ -r + -rm /mnt/andromeda/htmlpub/idziorek_net/ -r update_gitweb_readme: markdown README.md | ssh git readme miguel/estatico set |