guppylang
guppylang copied to clipboard
Get rid of linst
Now that we have inout arguments, we can use the same datastructure for classical and linear lists