comby-tools / comby-reducer Goto Github PK

I have ~1600 line program that causes a compiler error in zig. This fails immediately on the first (non-verification) step. Is it reasonable to throw a program that large at it?

I can't seem to find the license for this code. From http://choosealicense.com/no-license [1]:

You’ll have to check with your own legal counsel regarding your particular project, but generally speaking, the absence of a license means that default copyright laws apply. This means that you retain all rights to your source code and that nobody else may reproduce, distribute, or create derivative works from your work.

It looks like perhaps the intended license is Apache 2.0?