Why can’t it be simplified?Note: I also noticed a different problem with Cedille-Core, which may make it incompatible with the…
Continue ReadingWhy can’t it be simplified?Note: I also noticed a different problem with Cedille-Core, which may make it incompatible with the…
Continue Reading