rjfour - agda by nilton dos anjos