AbstractBlockInLet.err

The name of the top level module does not match the file name. The
module MutualBlockInLet should be defined in one of the following
files:
  ../MutualBlockInLet.agda
  ../MutualBlockInLet.lagda
  MutualBlockInLet.agda
  MutualBlockInLet.lagda