rodrigogribeiro/agda-software-foundations

Issues

• Duplicate binding for built-in thing LEVEL

  #6 opened 7 years ago by dredozubov
  1

• Include separeted files to exercices to be solved

  #3 opened 11 years ago by rodrigogribeiro
  0

• Explain inspect idiom

  #4 opened 11 years ago by rodrigogribeiro
  0

• Explain about equality proofs and equational proofs

  #2 opened 11 years ago by rodrigogribeiro
  0

• Resolve the pretty printing problems related to LaTeX.

  #1 opened 11 years ago by rodrigogribeiro
  0