Issues

• Weird exercise

  arend-lang/tutorial-code#17 · Filter by author DanielRrr opened on Jun 25, 2023

• (probably) Incorrect example

  arend-lang/tutorial-code#16 · Filter by author DanielRrr opened on Jun 25, 2023

• Give an additional example in Basics/Polymorphism

  arend-lang/tutorial-code#15 · Filter by author DanielRrr opened on Jun 23, 2023

• Improve an example in Basics/Namespace and modules

  arend-lang/tutorial-code#14 · Filter by author DanielRrr opened on Jun 23, 2023

• Explain how tactics can be used.

  arend-lang/tutorial-code#12 · Filter by author sxhya opened on Mar 22, 2023

• Proving equality of classes is unexplained

  arend-lang/tutorial-code#11 · Filter by author sxhya opened on Mar 22, 2023
  1

• Rearrange 6th and 7th parts of the tutorial?

  arend-lang/tutorial-code#10 · Filter by author sxhya opened on Mar 22, 2023

• Arguments of +-comm should be implicit

  arend-lang/tutorial-code#9 · Filter by author sxhya opened on Mar 22, 2023

• Explain how to use REPL

  arend-lang/tutorial-code#8 · Filter by author sxhya opened on Mar 22, 2023

• Explain Arend module system and library descriptors

  arend-lang/tutorial-code#7 · Filter by author sxhya opened on Mar 22, 2023

• Incoherence of definitions in tutorial and arend-lib

  arend-lang/tutorial-code#6 · Filter by author sxhya opened on Mar 22, 2023

• Duplicate definitions in different code files

  arend-lang/tutorial-code#5 · Filter by author ShreckYe opened on Jul 9, 2021
  1

  

• Mat m n instead of Mat n m?

  arend-lang/tutorial-code#3 · Filter by author ShreckYe opened on Jun 13, 2021
  1