on ca34dec help sign in
6 lines 108 B history raw
1test (Just x) = ?Nothing_rhs_1
3test : Maybe a -> Bool
4test Nothing = False
5test (Just x) = ?Nothing_rhs_1