When I make a munger with monadsyntax and use it to typeset some monadic
functions, the "do" and "od" delimiters of a list of binds are emitted
as-is. I would like them to be annotated as HOLKeywords.
I know I could probably use the override map for that, but it seems like
there ought to be a more proper way of doing it. How do keywords (like
"if") normally get annotated, and can we do the same for "do" and "od"?
------------------------------------------------------------------------------
Meet PCI DSS 3.0 Compliance Requirements with EventLog Analyzer
Achieve PCI DSS 3.0 Compliant Status with Out-of-the-box PCI DSS Reports
Are you Audit-Ready for PCI DSS 3.0 Compliance? Download White paper
Comply to PCI DSS 3.0 Requirement 10 and 11.5 with EventLog Analyzer
http://p.sf.net/sfu/Zoho
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
