Side note: Esoteric languages aren't usually languages that follow the dictionary definition of esoteric. That is to say, being uncommonly used doesn't make som

Side note: Esoteric languages aren't usually languages that follow the dictionary definition of esoteric. That is to say, being uncommonly used doesn't make something an "esoteric language". The term is usually reserved for intentionally strange languages like Brainfuck, Whitespace, Shakespeare, etc. Idris and Agda are serious languages built to do really amazing things. They're both still pretty young, but have incredible potential.