urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	removed invalid JSON escape character	steinuil	2018-08-04
\|
*	Handling of JSON escape characters	majorseitan@blockfreie.org	2018-05-26
\| \| \| \| \|	1. Handle the escape character \/
*	Handling of JSON escape characters	majorseitan@blockfreie.org	2018-04-15
\| \| \| \| \|	1. Handle the escape character \\
*	Handling of JSON escape characters	majorseitan@blockfreie.org	2018-04-14
\| \| \| \| \| \| \| \| \| \|	1. Handle escape sequence chars \t \n \r 2. Fail on unsupported escape characters. Instead of skipping \ on unsupported sequences it now fails.
*	Json: parse records with extra fields	Adam Chlipala	2016-08-27
\|
*	Import Json module from old Meta library (thanks to Edward Z. Yang for code ↵	Adam Chlipala	2016-08-26
	contributions)