rev: tip gadts-talk
ff6105669e4fMalcolm Matalka ADD Examples of things that can be done with GADTs 4 years ago
-rw-r--r--
35 bytes
d---------