Giters
freddie-freeloader
/
Typed-Markup-Revisited
Typesafe Markup for well structured Documents
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
Watchers:
3
Issues:
39
Forks:
freddie-freeloader/Typed-Markup-Revisited Issues
Analyze Commonmark.hs implementation
Updated
3 years ago
Publish paper on open access platform
Updated
3 years ago
Send paper to Tiemo for review
Updated
3 years ago
Fork this paper & use Effekt instead of Haskell
Updated
3 years ago
How to include external data programmatically?
Updated
4 years ago
Have a look at stencila etc.
Updated
4 years ago
Encode Typed Markup with Effekt
Updated
4 years ago
Have a look at MMark and Blackfriday
Updated
4 years ago
Compare our typed markup with Dhall
Updated
4 years ago
Create DSL with syntax similar to be Pollen
Updated
4 years ago
WASH?
Updated
4 years ago
Cite "Haskell's overlooked object system"
Updated
5 years ago
Who is this we?
Closed
6 years ago
Comments count
2
Change "variant" to "data variant"
Updated
6 years ago
tf-style leads to better Parsers
Updated
6 years ago
Add Boehm-Berarducci footnote
Updated
6 years ago
Add aspects to conclusion
Updated
6 years ago
We explain contexts of document as a simple type system
Updated
6 years ago
Explain tight encoding
Updated
6 years ago
Check and format code
Updated
6 years ago
Format em dash correctly
Updated
6 years ago
Transform tree to a more restrictive representation
Updated
6 years ago
Describe implications of well-formedness guarantee
Updated
6 years ago
Replace "final tagless" with "typed final"
Closed
6 years ago
Add figure for extensibility dimensions
Closed
6 years ago
Check for grammar and typos
Updated
6 years ago
Check all citations
Updated
6 years ago
Mention Dotty's implicit function types
Updated
6 years ago
Mention Dave Laing's Backpack Solution
Updated
6 years ago
Mention EP early on
Updated
6 years ago
Add citations
Closed
6 years ago
Add information, on why we need Monoid restriction
Updated
6 years ago
Write something about `NoMonomorphismRestriction`
Closed
6 years ago
Add notion of algebras?
Updated
6 years ago
Comments count
1
Choose the best term
Closed
6 years ago
Comments count
1
Add example: Context independent construct
Closed
6 years ago
Comments count
1
Write conclusion
Closed
6 years ago
Explain how the contexts are defined
Closed
6 years ago
Add short paragraph about Parsers
Updated
6 years ago