diff options
Diffstat (limited to 'solutions')
| -rw-r--r-- | solutions/id.slip | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/solutions/id.slip b/solutions/id.slip new file mode 100644 index 0000000..e0d768e --- /dev/null +++ b/solutions/id.slip @@ -0,0 +1 @@ +(let id (fn x T T x)) |