(CCC'2024) Continuity, Computability, Constructivity From Logic to Algorithms

[[#mailform]]
(:template default successpage='' :)
(:input pmform target={$$target} successpage="{$$successpage}" :)
(:input default request=1:)
(:messages:)
||width='' 
||$[Your address]: ||(:input text from size=30:) ||
||$[Subject]:      ||(:input text subject size=30:) ||
$[Message]:\\
(:input textarea text rows=15 cols=60:)\\
{$Captcha} (:input captcha:) \\
(:input submit name=post value='$[Send]':)
(:input end:)
[[#mailformend]]

(:template default successpage='' :) (:input pmform target={$$target} successpage="{$$successpage}" :)

Message:

(:input captcha :)

[[#mailpost]]
(:template require from errmsg="$[Missing 'from' address]" :)
(:template require subject errmsg="$[Missing message subject]" :)
(:template require text errmsg="$[Message text required]" :) 
(:template require if="captcha" errmsg="$[Captcha required]" :)
{$$text}

==========
Sent via PmForm at {$$PageUrl}
[[#mailpostend]]

(:template require from errmsg="Missing 'from' address" :) (:template require subject errmsg="Missing message subject" :) (:template require text errmsg="Message text required" :) (:template require if="captcha" errmsg="Captcha required" :) {$$text}

========== Sent via PmForm at {$$PageUrl}

[[#commentform]]
(:input pmform target=comments:)
(:input default request=1:)
(:input default author "{$Author}" :)
'''Post a comment:'''
(:messages:)
Name: (:input text author:) \\
Comments: \\
(:input textarea text rows=3 cols=40:) \\
(:input submit name=post value="$[Post]" :)
(:input hidden csum "Posted a comment via PmForm":)
(:input end:)
[[#commentformend]]

(:input pmform target=comments:) Post a comment:

Name:
Comments:

[[#talkpost]]
(:template defaults where=above :) 
(:template require author errmsg="$[Missing name]":)
(:template require text errmsg="$[Missing message]":)
(:template require text match="-*http:*,-*https:*" errmsg="Please don't post external links":)
>>talkpost<<
-> Posted by {$$author} on {$$CurrentTime}
{$$text}
>><<

[[#talkpostend]]

(:template defaults where=above :) (:template require author errmsg="Missing name":) (:template require text errmsg="Missing message":) (:template require text match="-*http:*,-*https:*" errmsg="Please don't post external links":)