Skip to content

Add Print term

Henning Sebastiann Maly requested to merge sphemaly/kiop_2021:main into main

Added a toString method to Lambda_Term to print the lambda term

Merge request reports