- Idris (https://www.idris-lang.org/)
- Agda (https://wiki.portal.chalmers.se/agda/Main/HomePage)
I'm really excited by progress in this space! :)