-
Leon Arnott authored
This took a lot of sweat (in both the labour and terror senses) and required some small compromises (such as forbidding captures in optional positions), but it seems to be functional and, importantly, reasonably consistent with (a:) patterns now. Also added the "digit" datatype.
ae378b6e4e1d