Displaying 20 results from an estimated 20000 matches similar to: "Formal Grammar — some thoughts"
2008 Feb 29
4
evolving the spec (was: forking Markdown.pl?)
> Anyway, a spec for Markdown Extra would contain a spec for Markdown as
> well, wouldn't it?
I think the whole enterprise would be a lot more valuable, if we
produce a combined spec, which would be self-contained, and call it
Markdown 2.0.
I don't think we necessarily need a formal grammar. What we need is
to create a document, starting with "Markdown Syntax" perhaps,
2009 Oct 19
2
Treetop or like grammar for Markdown (in Ruby)
Has anyone seen any attempts to give Markdown a PEG (parsing
expressions grammar) recognizable by some ruby PEG parser generator
grammar like Treetop?
http://treetop.rubyforge.org/
2008 Apr 06
1
markdown PEG (parsing expression grammar)
There's been a lot of discussion on this list about creating a formal
grammar for markdown. I had a go at writing a [parsing expression
grammar] for markdown. I used Haskell and John Meacham's Frisby PEG
parsing library, but it should not be too hard to port the grammar
to PEG libraries in other languages.
[parsing expression grammar]:
2007 Jul 12
1
Proposal for footnote GUID syntax
While we're talking about new syntax, I thought that I'd throw out an
idea I had to extend the footnote syntax as it currently exists in
PHP Markdown Extra.
I'm not sure that it's the best way to solve this particular problem,
but I figured I'd throw it out there to get any comments on it.
It relates to the problem of specifying a document's GUID. A few
months back,
2007 Jun 14
6
Revisiting mime-types and file extensions
Hi,
I'm in the process of adding support for Markdown to a minimal CMS in
Rails, [Railfrog][railfrog], which uses mime types to select appropriate
processing. I have had a look through the archives but have not been
able to see that a consensus has emerged as to what such a mime type for
Markdown should look like. My reading of the RFCs suggests that it
should be within the "text/*"
2011 Oct 20
1
[LLVMdev] Formal spec for LLVM IR (Was: LLVM Language Reference Strictness)
Reed,
Are you working on a grammar of the LLVM syntax or also on a full semantics?
Steve Zdancewic's group at U. Penn. is working on a formal operational semantics for LLVM. It is partially complete and Greg Morrisett at Harvard is planning to build further on it.
Regards,
--Vikram
Professor, Computer Science
University of Illinois at Urbana-Champaign
http://llvm.org/~vadve
On Oct 20,
2006 Dec 29
6
Doubt about standard syntax
I have a doubt about the standard syntax (actually, it's the only test
that maruku doesn't pass yet).
Lists MUST be preceded by an empty line?
So the following are only 4 paragraphs, without list items, right?
-----------
Paragraph and no space:
* ciao
Paragraph and 1 space:
* ciao
Paragraph and 3 spaces:
* ciao
Paragraph and 4 spaces:
* ciao
-----------
In other words, a
2008 May 03
1
markdown implementation in C using PEG grammar
I've just uploaded an implementation of markdown in C. It defines
the syntax using a PEG grammar, so it should be easy to extend and
modify. Right now it can produce output in either HTML or LaTeX, but it
would be simple to add other output formats.
It's very fast: on my machine, it converts a 178K markdown file in
0.14 seconds (vs. 9.6 seconds for the latest Markdown.pl and 0.57
seconds
2006 Dec 27
4
Maruku: a better Markdown interpreter for Ruby.
Hello to all!
Maruku is a Markdown interpreter written in Ruby. It is released under the GPL.
Maruku implements the original Markdown syntax and all the
improvements in PHP Markdown Extra. Moreover, it implements some ideas
from MultiMarkdown, and adds a syntax for specifying metadata for
block elements.
Unlike Bluecloth, Maruku creates an in-memory representation of the
document tree, and this
2006 Dec 30
3
problems with escaping backticks
I can't escape backticks if on a line with other code:
$ echo 'maybe use `fixed face` for `/path/to/file` by using \`back ticks\`
around it' | /usr/pkg/bin/Markdown
<p>maybe use <code>fixed face</code> for <code>/path/to/file</code> by
using \<code>back ticks\</code> around it</p>
and this is even more wrong:
$ echo 'maybe use
2006 Dec 30
4
Escaping inside code blocks?
I am doing unit-tests for Maruku and every once in a while I run into
some doubts.
I am posting a lot to the list, but all of these messages should be
in-topic (tell me if not).
Consider the input:
---
`There is a literal backtick (\`) here.`
`There is a literal backtick (\\`) here.`
``There is a literal backtick (`) here.``
---
The documentation says that line 2 and 3 are equivalent.
2010 May 11
1
Announcing Spirit Markdown
Here is another implementation of Markdown, this time in c++ using the Boost Spirit library.
Spirit Markdown is written in (hopefully!) idiomatic modern c++ and a full suite of unit tests are provided. It is licensed under the Boost Software License (OSI compliant).
The purpose of writing this is:
* for me to gain expertise in the use of Spirit, both through direct experience and public review,
2008 May 09
5
Markdown Extra Spec: Parsing Section
Hello all,
I've began writing the parsing section of the spec, and I though I'd
let you know about where I'm heading with all this.
Basically, parsing is defined as three consecutive passes: parsing
document elements, parsing block elements and parsing span elements.
Each pass is going to contain a set of rules the parser should attempt
to match while parsing the input. Rules
2006 May 02
2
Bug: invalid nesting of inline markup across link labels
Hi John,
there?s a bug in Markdown.pl:
[foo*bar](#) [baz*quux](#)
This expands to the following:
<p><a href="#">foo<em>bar</a> <a href="#">baz</em>quux</a></p>
Those `*` should either be disregarded or the tags should nest
correctly:
1. <p><a href="#">foo*bar</a> <a
2008 Feb 27
3
forking Markdown.pl?
As many of you know, when a piece of open-source software languishes
with bugs for 3 years it's often forked Markdown.pl is licensed under
the BSD license. (do `>tail -35 /path/to/Markdown.pl`)
Has anyone thought of forking and maintaining Markdown.pl (hopefully
with Gruber's blessing) to fix some of the known bugs?
I'm not volunteering (I'd be horrible)... just seeing if
2008 Jun 07
2
mkhtml.py: writing HTML documents in Markdown
[Note to markdown-discuss readers: for context see
<http://lists.canonical.org/pipermail/kragen-hacks/2008-June/000488.html>]
* Kragen Javier Sitaker <kragen at pobox.com> [2008-06-07 09:40]:
> Stylesheeting comes naturally. I just put a `<style>` element
> at the top with a few lines inside of it to format nicely.
Note that Markdown ends up wrapping `<link>` and
2012 Nov 20
2
Community Group for Markdown Standardization
FYI,
There was an interest from a few people to create a formalization of Markdown as it is currently implemented.
A W3C Community Group has been created for moving forward and exploring the idea and create a spec if necessary.
A W3C Community Group [1] is a platform for discussing, publishing about a topic. You just need a free public W3C account [2]
The community markdown group [3] has
2006 Jul 08
2
numbered list bug in markdown.pl?
Hi,
I'm getting what I believe to be a bug. If I put the following in markdown:
1. This is a numbered list
2. Blah
9. This is another list item
10. Ok, weird bug here
11. It's really bothering me
And when I run it through markdown.pl 1.01 I get out the following:
<ol>
<li>This is a numbered list</li>
<li>Blah</li>
<li>This is another
2006 Dec 29
3
Leading blank lines in codeblocks ignored?
(In the following I write <tab> because my MUA strips tabs)
Consider the code:
----
Paragraph
<tab>
<tab> Line
<tab>
----
or even:
----
Paragraph
<tab><space>
<tab> Line
<tab>
----
Markdown.pl ignores the leading blank line in the code block.
Is this intended behaviour?
--
Andrea Censi
"Life is too important to be taken
2013 Apr 18
2
Styling Markdown approaches
Hi guys,
I wrote a markdown based Web editor thing for my sister:
http://ws.dabase.com/
And she has trouble styling blocks of markdown. Since <div
markdown=1>markdown here</div> does not work on my Debian markdown
binary.
Is there a formal definition of markdown? Or some sort of conformance
test? And certain markdown implementations I should be using, and
certain ones I should be