History log of /seL4-l4v-master/HOL4/src/portableML/HOLsexp_parser.sig
Revision Date Author Comments
# dd0064b8 13-Jan-2020 Michael Norrish <michael.norrish@data61.csiro.au>

Make further improvements to HOLsexp implementation

- install a pretty-printer for it in prelude
- provide a fromString implementation
- remove possible circularity in implementation's dependencies
# 87198bcf 12-Jan-2020 Michael Norrish <michael.norrish@data61.csiro.au>

Implement s-expression type for use in serialisation applications