[Ur] JSON Web Services

[Adam Chlipala]

On 07/06/2013 03:30 PM, David Snider wrote:
> Is there a way to have a module render only JSON data rather than HTML?

Sure, but not currently with the sort of static checking that you get 
with the full integrated Ur/Web experience.

Just use [returnBlob] on a [textBlob].  See lib/ur/basis.urs for the 
declarations of these and related functions.  Also note that you'll need 
to use the 'allow mime' .urp directive to register the appropriate MIME 
type.