raaz-crypto/verse-agda

Issues

• create a PPA with the correct versions of agda and stdlib

  #6 opened 9 years ago by piyush-kurur
  0

• fix the typeEq function

  #5 opened 9 years ago by piyush-kurur
  0

• Improve on the type kind

  #3 opened 9 years ago by piyush-kurur
  0