Create a gist now

Instantly share code, notes, and snippets.

What would you like to do?
-module(plusplus).
-export([first/0, second/0, third/0]).
-spec first() -> 'something'.
first() -> [] ++ something.
-spec second() -> none().
second() -> something ++ [].
-spec third() -> nonempty_improper_list(1 | 2 | 3,'something').
third() -> [1,2,3] ++ something.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment