Kindex

Kindex copied to clipboard

developedby

developedby

I hope i am not saying nonsense, but i think there is a little error in the Pair Application interaction network.

max22-

Hope fixing the typos is OK!

DenisGorbachev

herniqeu

Fixing Char.is_lower and Char.is_upper

1

The characters between 65 and 91 are the uppercase letters. The characters between 97 and 127 are the lowercase letters. The way it was, `Char.is_lower` accepts any codepoint that is...

o-santi

Some files have tabs instead of spaces

1

Some files in the Algebra folder are using tabs instead of spaces in some lines.

algebraic-dev

If I understand the code correctly, in Kind2, Equal.refl is not a constructor, but a regular definition. This may be problematic, where inductive constructors are injective, while normal definitions may...

iacore