tutorial-code

tutorial-code copied to clipboard

Some definitions given in the tutorial have differently defined counterparts with the same name from `arend-lib`. 1. in the tutorial `||` is the non-truncated definition, but in `arend-lib` it is...

sxhya

Duplicate definitions in different code files

1

There are a lot of duplicate copied definitions in various code files, such as those of `Empty`, `Unit`, `Bool`, `List`, `=`, `

ShreckYe

`Mat m n` instead of `Mat n m`?

1

By convention, in saying an m × n matrix the m comes before the n, where m denotes the number of rows and n denotes the number of columns. In...

ShreckYe