gallais/aGdaREP

Issues

• Look into Antimirov Derivatives

  #4 opened 4 years ago by gallais
  0

• Broken with Agda 2.5.1

  #2 opened 8 years ago by tjakway
  0