1. 1
2. 2
3. 3
4. 4
5. 5
6. 6
7. 7
8. 8
9. 9
10. 10
11. 11
12. 12
13. 13
14. 14
15. 15
16. 16
17. 17
18. 18
19. 19
20. 20
21. 21
22. 22
23. 23

import LSpec

open LSpec

def fourIO : IO Nat :=
  pure 4

def fiveIO : IO Nat :=
  pure 5

def main := do
  let four ← fourIO
  let five ← fiveIO
  lspecIO $
    test "fourIO equals 4" (four = 4) $
    test "fiveIO equals 5" (five = 5)

#check main
#eval main

#lspec
  test "four equals four" (4 = 4) $
  test "five equals five" (5 = 5)