idris-community/idris2-http

Issues

• [ totality ] Fails to build with latest Idris2 HEAD

  #4 opened a year ago
  3

• `Data.String.Extra` import needed for using `join`

  #1 opened 2 years ago
  1