Generalized Algebraic Data Types (GADT) example: Prime Numbers.

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