drwxr-xr-x | .. | ||
-rw-r--r-- | 35 | .gitignore | blob | history | raw |
-rw-r--r-- | 187 | Makefile | blob | history | raw |
-rw-r--r-- | 1492 | example_deep.hs | blob | history | raw |
-rw-r--r-- | 452 | expr_gadt.hs | blob | history | raw |
-rw-r--r-- | 638 | expr_gadt.icl | blob | history | raw |
-rw-r--r-- | 958 | generic_eq.icl | blob | history | raw |
-rw-r--r-- | 1062 | generic_print.icl | blob | history | raw |