Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Hi. I'm trying to remember the name of a dependently typed language implemented on top of Agda (or maybe Idris) that if I remember emphasized subsets of a type or something.
It was Cedille. https://cedille.github.io/