No, I haven't. When I looked at it, I didn't see a well-composed thing like Epigram or Agda2. So I decided to stick to Haskell for a while and then slowly work

No, I haven't. When I looked at it, I didn't see a well-composed thing like Epigram or Agda2. So I decided to stick to Haskell for a while and then slowly work my way to Agda2, if I would feel the need.