Fix REASONLIGO LEFTOVER
ReasonLIGO is not finished. One issue deals with syntax error messages. Here we want to find all strings REASONLIGO LEFTOVER and add what is missing, for example, deep pattern matching.
Edited by Christian Rinderknecht
ReasonLIGO is not finished. One issue deals with syntax error messages. Here we want to find all strings REASONLIGO LEFTOVER and add what is missing, for example, deep pattern matching.