cantora

Hi Rusty, Here is another pull request with changes based on your suggestions. Ive sent an email to the list with an explanation.

Currently, we have to write Cedille code with individual abstraction syntax: ``` module test. tt ◂ ∀ A : ★ . A ➔ A ➔ A = Λ A ....

Should `make clean` delete the `libraries` file?

1

It seems like it should because running `make` generates it.

After reviewing my notes I think the issue that I was talking about had something to do with this function: ``` Eq ◂ Π A : ★ . ( A...