This is a demonstration of the expressive power of GADTs. Please enter a positive integer, prime or not, then download the file (the button only appears when there is a positive integer in the input box). The file contains a valid Scala program (run it to be sure there is no trick). Then follow the intructions in the file. You can try as many numbers as you like.
Enter a positive integer