Now I've found my main problem with epigram papers: too many unknown
terms. There are several kinds of arrows (in View From The Left) and I'm not
sure what means
what:
=> illustrative purposes, not element of Epigram ?
~> type coercion, code transformation, etc ?
|- inferred by typesystem's logic ?
||- the same as above ?
|> elaborated as (what is it?)
---------------- below this line is logically derived from above this
line ?
|-> Epigram syntax ("return" or "by")
And what is "eliminator"? What is it supposed to do?
Igor
