Installing the PL dialect
You can check the gpg signature by downloading pl.plt.asc and running
gpg --verify pl.plt.asc
See gpg-hints for more information.
Install it using either
raco setup -A pl.pltor the DrRacket file menu. In the latter case. In the latter case you should then restart DrRacket.
If you have trouble switching in "Install PLT" widget from a URL to a local file to install, hit cancel and try again. You can also type
http://tesseract.cs.unb.ca/pl/pl.pltdirectly into the URL box.
After the first install, you can install updated versions of pl.plt the same way, or choose "update PL plugin" from the file menu in DrRacket
Run the following test code
#lang pl (define-type Fruit [Oranges Integer] [Apples Integer]) (test (cases (Apples 10) [(Apples i) i] [else #f]) => 10)
output should be "1 tests passed"
See also setting up an account on the handin-server