sexpresso v1.0.0.0 Release Notes

    • ๐Ÿ”„ Change type of SExprParser from SExpParser m c b a to SExprParser m b a. The c parameter is now an existential.

    • ๐Ÿ“œ SExprParser is not a record anymore. So pAtom, pSpace and pSpacingRule are now functions and cannot be used in record syntax. The have been rename to getAtom, getSpace and getSpacingRule.

    • ๐Ÿšš The pSTag and pETag functions have been removed since SExprParser is defined using an existential.

    • ๐Ÿ“š Documentation improvements.