Skip to content
This repository has been archived by the owner on May 29, 2020. It is now read-only.

Some cosmetic changes#27

Open
lambdaterm wants to merge 1 commit intoscalanlp:masterfrom lambdaterm:develop