diff options
author | tomsmeding <tom.smeding@gmail.com> | 2019-03-10 18:49:04 +0100 |
---|---|---|
committer | tomsmeding <tom.smeding@gmail.com> | 2019-03-10 18:49:09 +0100 |
commit | 878eb45b3eb77ab309104f7e7b8480a8d12e04ad (patch) | |
tree | b6f7a137a91294d08a2fc5fa300fde05046dc422 /functorproof.txt | |
parent | 48d6f83c36f55471ba66281e6d9b272fb4b336f2 (diff) |
Repeat commands; add functor proof
Diffstat (limited to 'functorproof.txt')
-rw-r--r-- | functorproof.txt | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/functorproof.txt b/functorproof.txt new file mode 100644 index 0000000..735cbd9 --- /dev/null +++ b/functorproof.txt @@ -0,0 +1,32 @@ +action v rew fmap +action v rew id +action v rew runParser +action v rew fmapEither +action v rew fmap1st +action v repeat beta +action v case +action v rew . +action v repeat beta +action v repeat etacase +action v eta +action x rew fmap +action x rew . +action x rew runParser +action x repeat beta +action x case +action x rew fmapEither +action x repeat beta +action x rew fmap1st +action x repeat beta +action y rew fmap +action y rew . +action y rew runParser +action y rew fmapEither +action y rew fmap1st +action y repeat beta +action y repeat case +action y repeat beta +action y casecase +action y case +action y casecase +action y case |