aboutsummaryrefslogtreecommitdiff
path: root/present/fig
ModeNameSize
-rw-r--r--cat-assoc.svg13838logplain
-rw-r--r--cat-assoc.tex472logplain
-rw-r--r--cat-ident.svg11765logplain
-rw-r--r--cat-ident.tex506logplain
-rwxr-xr-xconvert.sh63logplain
-rw-r--r--couniversal.svg12123logplain
-rw-r--r--couniversal.tex540logplain
-rw-r--r--front.svg33169logplain
-rw-r--r--front.tex1195logplain
-rw-r--r--head.tex3640logplain
-rw-r--r--monad_data.svg9054logplain
-rw-r--r--monad_data.tex495logplain
-rw-r--r--monad_data_adj.svg13966logplain
-rw-r--r--monad_data_adj.tex550logplain
-rw-r--r--monad_data_pow.svg22426logplain
-rw-r--r--monad_data_pow.tex594logplain
-rw-r--r--monad_unit.svg11628logplain
-rw-r--r--monad_unit.tex595logplain
-rw-r--r--monad_unita_adj.svg14509logplain
-rw-r--r--monad_unita_adj.tex586logplain
-rw-r--r--monad_unita_pow.svg16128logplain
-rw-r--r--monad_unita_pow.tex499logplain
-rw-r--r--monad_unitb_pow.svg22273logplain
-rw-r--r--monad_unitb_pow.tex483logplain
-rw-r--r--natural.svg15724logplain
-rw-r--r--natural.tex568logplain
-rw-r--r--universal.svg12798logplain
-rw-r--r--universal.tex532logplain