From 7644d57ce32264f35175518ed848b39cb0a62f0d Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Wed, 22 Nov 2017 09:58:14 +0100 Subject: Test setup --- test.tsv | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 test.tsv (limited to 'test.tsv') diff --git a/test.tsv b/test.tsv new file mode 100644 index 0000000..bc25a74 --- /dev/null +++ b/test.tsv @@ -0,0 +1,15 @@ +\x -> 5 const 5 +\x -> x id +\x -> y const y +\x y -> x const +\x y -> y const id +\x y -> 37 const (const 37) +\x y z -> x (o) const const +\x y z -> y const const +\x y z -> z const (const id) +\x y z -> 37 const (const (const 37)) +\x y -> x y id +\x y -> y x flip id +\x y -> y 10 const (flip id 10) +\f a b c d -> f b c d a (o) flip ((o) ((o) flip) ((o) ((o) flip))) +\f x -> f x x join -- cgit v1.2.3