Skip to content

Remove trailing whitespace in Agda code #512

Remove trailing whitespace in Agda code

Remove trailing whitespace in Agda code #512

The logs for this run have expired and are no longer available.