Ad
  • Custom User Avatar

    Note: This code is generated by a STLC-to-SKI translation script! Refer to dramforever's solution for a clearer exposure!

  • Custom User Avatar

    Resolving manually

  • Custom User Avatar

    it should never panic. isomorphism is an mathematical concept, that require you to map every single input to some valid output. panic is not a valid output.

  • Custom User Avatar

    I supposed that when substL iso $ Just a is Nothing, substL (isoUnMaybe iso) a should panic, however it turns out that it should be fromJust $ substL iso Nothing. I'm wondering why?