Haskell/Solutions/GADT

← Back to GADT

Safe ListsEdit

Exercises
  1. Is it possible to implement a safeTail function? If so, how?

TODO