PR #116 renamed, for good reasons, the RaLambda.java file to SLLambda.java, but the directory name where this file is located is still called ralambda. This is inconsistent.
Moreover, a similar renaming has not taken place for RaStar.java, which makes it even more inconsistent.
This needs fixing. What do we do?
PR #116 renamed, for good reasons, the
RaLambda.javafile toSLLambda.java, but the directory name where this file is located is still calledralambda. This is inconsistent.Moreover, a similar renaming has not taken place for
RaStar.java, which makes it even more inconsistent.This needs fixing. What do we do?