emmet-m
commented
4 years ago - Recursive types now implemented as per changes in main compiler (alpha equivalence for recursive parameters, use of recursive context)
- Termination checking is a little cleaner
- All TODO's cleaned up
- Termination now labels the output graph with 'argument' and 'goal' labels like so:
