issues
search
freddie-freeloader
/
Typed-Markup-Revisited
Typesafe Markup for well structured Documents
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Analyze Commonmark.hs implementation
#39
freddie-freeloader
opened
3 years ago
0
Publish paper on open access platform
#38
freddie-freeloader
opened
3 years ago
0
Send paper to Tiemo for review
#37
freddie-freeloader
opened
3 years ago
0
Fork this paper & use Effekt instead of Haskell
#36
freddie-freeloader
opened
3 years ago
0
How to include external data programmatically?
#35
freddie-freeloader
opened
3 years ago
0
Have a look at stencila etc.
#34
freddie-freeloader
opened
3 years ago
0
Encode Typed Markup with Effekt
#33
freddie-freeloader
opened
3 years ago
0
Have a look at MMark and Blackfriday
#32
freddie-freeloader
opened
3 years ago
0
Compare our typed markup with Dhall
#31
freddie-freeloader
opened
3 years ago
0
Create DSL with syntax similar to be Pollen
#30
freddie-freeloader
opened
3 years ago
0
WASH?
#29
freddie-freeloader
opened
3 years ago
0
Cite "Haskell's overlooked object system"
#28
freddie-freeloader
opened
5 years ago
0
Who is this we?
#27
freddie-freeloader
closed
6 years ago
2
Change "variant" to "data variant"
#26
freddie-freeloader
opened
6 years ago
0
tf-style leads to better Parsers
#25
freddie-freeloader
opened
6 years ago
0
Add Boehm-Berarducci footnote
#24
freddie-freeloader
opened
6 years ago
0
Add aspects to conclusion
#23
freddie-freeloader
opened
6 years ago
0
We explain contexts of document as a simple type system
#22
freddie-freeloader
opened
6 years ago
0
Explain tight encoding
#21
freddie-freeloader
opened
6 years ago
0
Check and format code
#20
freddie-freeloader
opened
6 years ago
0
Format em dash correctly
#19
freddie-freeloader
opened
6 years ago
0
Transform tree to a more restrictive representation
#18
freddie-freeloader
opened
6 years ago
0
Describe implications of well-formedness guarantee
#17
freddie-freeloader
opened
6 years ago
0
Replace "final tagless" with "typed final"
#16
freddie-freeloader
closed
6 years ago
0
Add figure for extensibility dimensions
#15
freddie-freeloader
closed
6 years ago
0
Check for grammar and typos
#14
freddie-freeloader
opened
6 years ago
0
Check all citations
#13
freddie-freeloader
opened
6 years ago
0
Mention Dotty's implicit function types
#12
freddie-freeloader
opened
6 years ago
0
Mention Dave Laing's Backpack Solution
#11
freddie-freeloader
opened
6 years ago
0
Mention EP early on
#10
lordxist
opened
6 years ago
0
Add citations
#9
freddie-freeloader
closed
6 years ago
0
Add information, on why we need Monoid restriction
#8
freddie-freeloader
opened
6 years ago
0
Write something about `NoMonomorphismRestriction`
#7
freddie-freeloader
closed
6 years ago
0
Add notion of algebras?
#6
freddie-freeloader
opened
6 years ago
1
Choose the best term
#5
freddie-freeloader
closed
6 years ago
1
Add example: Context independent construct
#4
freddie-freeloader
closed
6 years ago
1
Write conclusion
#3
freddie-freeloader
closed
6 years ago
0
Explain how the contexts are defined
#2
freddie-freeloader
closed
6 years ago
0
Add short paragraph about Parsers
#1
freddie-freeloader
opened
6 years ago
0