Delete Test_koda.hs