From c98f27c7821f6d8f3add303da692630bba268d1d Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 16 Jun 2018 13:22:43 -0400 Subject: Slight change to venerable Nested demo, to get proper URL resolution --- demo/nested.ur | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/demo/nested.ur b/demo/nested.ur index 13d0fc61..5c9cd3cc 100644 --- a/demo/nested.ur +++ b/demo/nested.ur @@ -45,7 +45,7 @@ and fromA r =

Hello {[forename]}{case surname of - None => + None => | Some s => {[s]}}

{case surname of None => Previous -- cgit v1.2.3