Skip to content

Instantly share code, notes, and snippets.

@nomeata
Created April 7, 2022 15:01
Show Gist options
  • Save nomeata/86ed8d282ac59b1ff5ab02749d24395a to your computer and use it in GitHub Desktop.
Save nomeata/86ed8d282ac59b1ff5ab02749d24395a to your computer and use it in GitHub Desktop.
diff -ru gold0/add-adf-syn.golden gold/add-adf-syn.golden
--- gold0/add-adf-syn.golden 2022-04-07 16:58:11.733445574 +0200
+++ gold/add-adf-syn.golden 2022-04-07 16:58:22.228485530 +0200
@@ -1 +1 @@
-(addC *** coerce . coerce . curry (addC . exr)) . dup
\ No newline at end of file
+(addC *** id . repr . abst . curry (addC . exr)) . dup
\ No newline at end of file
diff -ru gold0/add-adr-syn.golden gold/add-adr-syn.golden
--- gold0/add-adr-syn.golden 2022-04-07 16:58:11.733445574 +0200
+++ gold/add-adr-syn.golden 2022-04-07 16:58:22.228485530 +0200
@@ -1,2 +1,2 @@
-((exl . id *** coerce . exr . id) . dup) .
-(addC *** coerce . coerce . coerce . curry (dup . exr)) . dup
\ No newline at end of file
+((exl . id *** repr . exr . id) . dup) .
+(addC *** id . repr . abst . abst . curry (dup . exr)) . dup
\ No newline at end of file
diff -ru gold0/add-gradr-syn.golden gold/add-gradr-syn.golden
--- gold0/add-gradr-syn.golden 2022-04-07 16:58:11.733445574 +0200
+++ gold/add-gradr-syn.golden 2022-04-07 16:58:22.229485533 +0200
@@ -1,4 +1,4 @@
((exl . id ***
- apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
+ apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
dup) .
-(addC *** coerce . coerce . coerce . curry (dup . exr)) . dup
\ No newline at end of file
+(addC *** id . repr . abst . abst . curry (dup . exr)) . dup
\ No newline at end of file
diff -ru gold0/cos-2x-adf-syn.golden gold/cos-2x-adf-syn.golden
--- gold0/cos-2x-adf-syn.golden 2022-04-07 16:58:11.734445578 +0200
+++ gold/cos-2x-adf-syn.golden 2022-04-07 16:58:22.260485651 +0200
@@ -1,14 +1,14 @@
-second coerce .
+second (id . repr) .
apply .
((curry
((exr ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce .
- coerce .
+ repr .
+ abst .
curry mulC .
apply . (curry exl . negateC . sinC . exl . exl *** exr) . dup ***
exr . exl) .
@@ -21,10 +21,10 @@
((exl . exr ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . exr . exr ***
+ repr . exr . exr ***
exr . exl) .
dup) .
dup) ***
@@ -39,11 +39,11 @@
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . exl ***
- coerce . exr) .
+ repr . exl ***
+ repr . exr) .
dup) .
- coerce . curry mulC . exr ***
- coerce . curry mulC . exl) .
+ abst . curry mulC . exr ***
+ abst . curry mulC . exl) .
dup) .
dup) .
exl) .
@@ -51,11 +51,11 @@
((exl ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . exr ***
- coerce . curry (dup . exr)) .
+ repr . exr ***
+ abst . curry (dup . exr)) .
dup) .
dup) .
apply .
@@ -65,18 +65,18 @@
(((exl . exr *** exl . exr . exl) . dup ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . exr . exr ***
+ repr . exr . exr ***
exr . exr . exl) .
dup) .
dup) ***
- ((const 2.0 *** coerce . curry exl . const 0.0) . dup) . exl . exl) .
+ ((const 2.0 *** abst . curry exl . const 0.0) . dup) . exl . exl) .
dup) ***
- ((id *** coerce . curry exr) . dup) . exr) .
+ ((id *** abst . curry exr) . dup) . exr) .
dup) .
dup
\ No newline at end of file
diff -ru gold0/cos-2x-adr-syn.golden gold/cos-2x-adr-syn.golden
--- gold0/cos-2x-adr-syn.golden 2022-04-07 16:58:11.734445578 +0200
+++ gold/cos-2x-adr-syn.golden 2022-04-07 16:58:22.263485663 +0200
@@ -1,5 +1,5 @@
-((exl . id *** coerce . exr . id) . dup) .
-second coerce .
+((exl . id *** repr . exr . id) . dup) .
+second (id . repr) .
apply .
((curry
((exl . exr ***
@@ -8,12 +8,12 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr . exr ***
exr . exl) .
@@ -22,7 +22,8 @@
apply .
((curry
((exr ***
- coerce .
+ abst .
+ abst .
curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) .
dup) ***
cosC) .
@@ -37,12 +38,12 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr . exr ***
exr . exl) .
@@ -51,29 +52,29 @@
((mulC ***
apply .
(curry
- (coerce .
+ (abst .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce .
+ repr .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exl ***
- coerce . exr) .
+ repr . repr . exl ***
+ repr . exr) .
dup ***
- coerce . curry (dup . exr)) .
+ abst . curry (dup . exr)) .
dup) .
- coerce . curry mulC . exr ***
- coerce . curry mulC . exl) .
+ abst . abst . curry mulC . exr ***
+ abst . abst . curry mulC . exl) .
dup) .
dup) .
exl) .
@@ -84,14 +85,14 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr ***
- coerce . coerce . curry (addC . exr)) .
+ abst . abst . curry (addC . exr)) .
dup) .
dup) .
apply .
@@ -101,25 +102,24 @@
(((exl . exr *** exl . exr . exl) . dup ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exr . exr ***
+ repr . repr . exr . exr ***
exr . exr . exl) .
dup) .
dup) ***
((const 2.0 ***
- coerce .
- coerce .
- curry (const 0.0) . coerce . coerce . curry (const ()) . const 0.0) .
+ abst .
+ abst . curry (const 0.0) . repr . abst . curry (const ()) . const 0.0) .
dup) .
exl . exl) .
dup) ***
- ((id *** coerce . coerce . curry exr) . dup) . exr) .
+ ((id *** abst . abst . curry exr) . dup) . exr) .
dup) .
dup
\ No newline at end of file
diff -ru gold0/cos-2x-gradr-syn.golden gold/cos-2x-gradr-syn.golden
--- gold0/cos-2x-gradr-syn.golden 2022-04-07 16:58:11.734445578 +0200
+++ gold/cos-2x-gradr-syn.golden 2022-04-07 16:58:22.266485674 +0200
@@ -1,7 +1,7 @@
((exl . id ***
- apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
+ apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
dup) .
-second coerce .
+second (id . repr) .
apply .
((curry
((exl . exr ***
@@ -10,12 +10,12 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr . exr ***
exr . exl) .
@@ -24,7 +24,8 @@
apply .
((curry
((exr ***
- coerce .
+ abst .
+ abst .
curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) .
dup) ***
cosC) .
@@ -39,12 +40,12 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr . exr ***
exr . exl) .
@@ -53,29 +54,29 @@
((mulC ***
apply .
(curry
- (coerce .
+ (abst .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce .
+ repr .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exl ***
- coerce . exr) .
+ repr . repr . exl ***
+ repr . exr) .
dup ***
- coerce . curry (dup . exr)) .
+ abst . curry (dup . exr)) .
dup) .
- coerce . curry mulC . exr ***
- coerce . curry mulC . exl) .
+ abst . abst . curry mulC . exr ***
+ abst . abst . curry mulC . exl) .
dup) .
dup) .
exl) .
@@ -86,14 +87,14 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr ***
- coerce . coerce . curry (addC . exr)) .
+ abst . abst . curry (addC . exr)) .
dup) .
dup) .
apply .
@@ -103,25 +104,24 @@
(((exl . exr *** exl . exr . exl) . dup ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exr . exr ***
+ repr . repr . exr . exr ***
exr . exr . exl) .
dup) .
dup) ***
((const 2.0 ***
- coerce .
- coerce .
- curry (const 0.0) . coerce . coerce . curry (const ()) . const 0.0) .
+ abst .
+ abst . curry (const 0.0) . repr . abst . curry (const ()) . const 0.0) .
dup) .
exl . exl) .
dup) ***
- ((id *** coerce . coerce . curry exr) . dup) . exr) .
+ ((id *** abst . abst . curry exr) . dup) . exr) .
dup) .
dup
\ No newline at end of file
diff -ru gold0/cos-2xx-adf-syn.golden gold/cos-2xx-adf-syn.golden
--- gold0/cos-2xx-adf-syn.golden 2022-04-07 16:58:11.734445578 +0200
+++ gold/cos-2xx-adf-syn.golden 2022-04-07 16:58:22.270485689 +0200
@@ -1,14 +1,14 @@
-second coerce .
+second (id . repr) .
apply .
((curry
((exr ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce .
- coerce .
+ repr .
+ abst .
curry mulC .
apply . (curry exl . negateC . sinC . exl . exl *** exr) . dup ***
exr . exl) .
@@ -21,10 +21,10 @@
((exl . exr ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . exr . exr ***
+ repr . exr . exr ***
exr . exl) .
dup) .
dup) ***
@@ -39,11 +39,11 @@
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . exl ***
- coerce . exr) .
+ repr . exl ***
+ repr . exr) .
dup) .
- coerce . curry mulC . exr ***
- coerce . curry mulC . exl) .
+ abst . curry mulC . exr ***
+ abst . curry mulC . exl) .
dup) .
dup) .
exl) .
@@ -51,11 +51,11 @@
((exl ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . exr ***
- coerce . curry (dup . exr)) .
+ repr . exr ***
+ abst . curry (dup . exr)) .
dup) .
dup) .
apply .
@@ -65,13 +65,13 @@
(((exl . exr *** exl . exr . exl) . dup ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . exr . exr ***
+ repr . exr . exr ***
exr . exr . exl) .
dup) .
dup) ***
@@ -80,11 +80,11 @@
((exl . exr ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . exr . exr ***
+ repr . exr . exr ***
exr . exl) .
dup) .
dup) ***
@@ -99,11 +99,11 @@
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . exl ***
- coerce . exr) .
+ repr . exl ***
+ repr . exr) .
dup) .
- coerce . curry mulC . exr ***
- coerce . curry mulC . exl) .
+ abst . curry mulC . exr ***
+ abst . curry mulC . exl) .
dup) .
dup) .
exl) .
@@ -111,12 +111,12 @@
((exl ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . exr ***
- coerce . curry (dup . exr)) .
+ repr . exr ***
+ abst . curry (dup . exr)) .
dup) .
dup) .
apply .
@@ -126,22 +126,22 @@
(((exl . exr *** exl . exr . exl) . dup ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . exr . exr ***
+ repr . exr . exr ***
exr . exr . exl) .
dup) .
dup) ***
- ((const 2.0 *** coerce . curry exl . const 0.0) . dup) . exl . exl) .
+ ((const 2.0 *** abst . curry exl . const 0.0) . dup) . exl . exl) .
dup) ***
- ((id *** coerce . curry exr) . dup) . exr) .
+ ((id *** abst . curry exr) . dup) . exr) .
dup) .
dup . exl . exl) .
dup) ***
- ((id *** coerce . curry exr) . dup) . exr) .
+ ((id *** abst . curry exr) . dup) . exr) .
dup) .
dup
\ No newline at end of file
diff -ru gold0/cos-2xx-adr-syn.golden gold/cos-2xx-adr-syn.golden
--- gold0/cos-2xx-adr-syn.golden 2022-04-07 16:58:11.734445578 +0200
+++ gold/cos-2xx-adr-syn.golden 2022-04-07 16:58:22.276485712 +0200
@@ -1,5 +1,5 @@
-((exl . id *** coerce . exr . id) . dup) .
-second coerce .
+((exl . id *** repr . exr . id) . dup) .
+second (id . repr) .
apply .
((curry
((exl . exr ***
@@ -8,12 +8,12 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr . exr ***
exr . exl) .
@@ -22,7 +22,8 @@
apply .
((curry
((exr ***
- coerce .
+ abst .
+ abst .
curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) .
dup) ***
cosC) .
@@ -37,12 +38,12 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr . exr ***
exr . exl) .
@@ -51,29 +52,29 @@
((mulC ***
apply .
(curry
- (coerce .
+ (abst .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce .
+ repr .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exl ***
- coerce . exr) .
+ repr . repr . exl ***
+ repr . exr) .
dup ***
- coerce . curry (dup . exr)) .
+ abst . curry (dup . exr)) .
dup) .
- coerce . curry mulC . exr ***
- coerce . curry mulC . exl) .
+ abst . abst . curry mulC . exr ***
+ abst . abst . curry mulC . exl) .
dup) .
dup) .
exl) .
@@ -84,14 +85,14 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr ***
- coerce . coerce . curry (addC . exr)) .
+ abst . abst . curry (addC . exr)) .
dup) .
dup) .
apply .
@@ -101,15 +102,15 @@
(((exl . exr *** exl . exr . exl) . dup ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exr . exr ***
+ repr . repr . exr . exr ***
exr . exr . exl) .
dup) .
dup) ***
@@ -121,12 +122,12 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr . exr ***
exr . exl) .
@@ -135,29 +136,29 @@
((mulC ***
apply .
(curry
- (coerce .
+ (abst .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce .
+ repr .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exl ***
- coerce . exr) .
+ repr . repr . exl ***
+ repr . exr) .
dup ***
- coerce . curry (dup . exr)) .
+ abst . curry (dup . exr)) .
dup) .
- coerce . curry mulC . exr ***
- coerce . curry mulC . exl) .
+ abst . abst . curry mulC . exr ***
+ abst . abst . curry mulC . exl) .
dup) .
dup) .
exl) .
@@ -168,15 +169,15 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr ***
- coerce . coerce . curry (addC . exr)) .
+ abst . abst . curry (addC . exr)) .
dup) .
dup) .
apply .
@@ -186,29 +187,29 @@
(((exl . exr *** exl . exr . exl) . dup ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exr . exr ***
+ repr . repr . exr . exr ***
exr . exr . exl) .
dup) .
dup) ***
((const 2.0 ***
- coerce .
- coerce .
- curry (const 0.0) . coerce . coerce . curry (const ()) . const 0.0) .
+ abst .
+ abst .
+ curry (const 0.0) . repr . abst . curry (const ()) . const 0.0) .
dup) .
exl . exl) .
dup) ***
- ((id *** coerce . coerce . curry exr) . dup) . exr) .
+ ((id *** abst . abst . curry exr) . dup) . exr) .
dup) .
dup . exl . exl) .
dup) ***
- ((id *** coerce . coerce . curry exr) . dup) . exr) .
+ ((id *** abst . abst . curry exr) . dup) . exr) .
dup) .
dup
\ No newline at end of file
diff -ru gold0/cos-2xx-gradr-syn.golden gold/cos-2xx-gradr-syn.golden
--- gold0/cos-2xx-gradr-syn.golden 2022-04-07 16:58:11.734445578 +0200
+++ gold/cos-2xx-gradr-syn.golden 2022-04-07 16:58:22.284485742 +0200
@@ -1,7 +1,7 @@
((exl . id ***
- apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
+ apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
dup) .
-second coerce .
+second (id . repr) .
apply .
((curry
((exl . exr ***
@@ -10,12 +10,12 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr . exr ***
exr . exl) .
@@ -24,7 +24,8 @@
apply .
((curry
((exr ***
- coerce .
+ abst .
+ abst .
curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) .
dup) ***
cosC) .
@@ -39,12 +40,12 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr . exr ***
exr . exl) .
@@ -53,29 +54,29 @@
((mulC ***
apply .
(curry
- (coerce .
+ (abst .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce .
+ repr .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exl ***
- coerce . exr) .
+ repr . repr . exl ***
+ repr . exr) .
dup ***
- coerce . curry (dup . exr)) .
+ abst . curry (dup . exr)) .
dup) .
- coerce . curry mulC . exr ***
- coerce . curry mulC . exl) .
+ abst . abst . curry mulC . exr ***
+ abst . abst . curry mulC . exl) .
dup) .
dup) .
exl) .
@@ -86,14 +87,14 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr ***
- coerce . coerce . curry (addC . exr)) .
+ abst . abst . curry (addC . exr)) .
dup) .
dup) .
apply .
@@ -103,15 +104,15 @@
(((exl . exr *** exl . exr . exl) . dup ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exr . exr ***
+ repr . repr . exr . exr ***
exr . exr . exl) .
dup) .
dup) ***
@@ -123,12 +124,12 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr . exr ***
exr . exl) .
@@ -137,29 +138,29 @@
((mulC ***
apply .
(curry
- (coerce .
+ (abst .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce .
+ repr .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exl ***
- coerce . exr) .
+ repr . repr . exl ***
+ repr . exr) .
dup ***
- coerce . curry (dup . exr)) .
+ abst . curry (dup . exr)) .
dup) .
- coerce . curry mulC . exr ***
- coerce . curry mulC . exl) .
+ abst . abst . curry mulC . exr ***
+ abst . abst . curry mulC . exl) .
dup) .
dup) .
exl) .
@@ -170,15 +171,15 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr ***
- coerce . coerce . curry (addC . exr)) .
+ abst . abst . curry (addC . exr)) .
dup) .
dup) .
apply .
@@ -188,29 +189,29 @@
(((exl . exr *** exl . exr . exl) . dup ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exr . exr ***
+ repr . repr . exr . exr ***
exr . exr . exl) .
dup) .
dup) ***
((const 2.0 ***
- coerce .
- coerce .
- curry (const 0.0) . coerce . coerce . curry (const ()) . const 0.0) .
+ abst .
+ abst .
+ curry (const 0.0) . repr . abst . curry (const ()) . const 0.0) .
dup) .
exl . exl) .
dup) ***
- ((id *** coerce . coerce . curry exr) . dup) . exr) .
+ ((id *** abst . abst . curry exr) . dup) . exr) .
dup) .
dup . exl . exl) .
dup) ***
- ((id *** coerce . coerce . curry exr) . dup) . exr) .
+ ((id *** abst . abst . curry exr) . dup) . exr) .
dup) .
dup
\ No newline at end of file
diff -ru gold0/cos-adf-syn.golden gold/cos-adf-syn.golden
--- gold0/cos-adf-syn.golden 2022-04-07 16:58:11.733445574 +0200
+++ gold/cos-adf-syn.golden 2022-04-07 16:58:22.230485537 +0200
@@ -1,8 +1,8 @@
-second coerce .
+second (id . repr) .
apply .
(curry
((exr ***
- coerce .
+ abst .
curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) .
dup) ***
cosC) .
diff -ru gold0/cos-adr-syn.golden gold/cos-adr-syn.golden
--- gold0/cos-adr-syn.golden 2022-04-07 16:58:11.733445574 +0200
+++ gold/cos-adr-syn.golden 2022-04-07 16:58:22.230485537 +0200
@@ -1,9 +1,10 @@
-((exl . id *** coerce . exr . id) . dup) .
-second coerce .
+((exl . id *** repr . exr . id) . dup) .
+second (id . repr) .
apply .
(curry
((exr ***
- coerce .
+ abst .
+ abst .
curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) .
dup) ***
cosC) .
diff -ru gold0/cos-gradr-syn.golden gold/cos-gradr-syn.golden
--- gold0/cos-gradr-syn.golden 2022-04-07 16:58:11.733445574 +0200
+++ gold/cos-gradr-syn.golden 2022-04-07 16:58:22.230485537 +0200
@@ -1,11 +1,12 @@
((exl . id ***
- apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
+ apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
dup) .
-second coerce .
+second (id . repr) .
apply .
(curry
((exr ***
- coerce .
+ abst .
+ abst .
curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) .
dup) ***
cosC) .
diff -ru gold0/cos-xpy-adf-syn.golden gold/cos-xpy-adf-syn.golden
--- gold0/cos-xpy-adf-syn.golden 2022-04-07 16:58:11.734445578 +0200
+++ gold/cos-xpy-adf-syn.golden 2022-04-07 16:58:22.287485753 +0200
@@ -1,16 +1,16 @@
-second coerce .
+second (id . repr) .
apply .
((curry
((exr ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce .
- coerce .
+ repr .
+ abst .
curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup ***
- coerce . curry (addC . exr)) .
+ abst . curry (addC . exr)) .
dup) .
dup) ***
cosC) .
diff -ru gold0/cos-xpy-adr-syn.golden gold/cos-xpy-adr-syn.golden
--- gold0/cos-xpy-adr-syn.golden 2022-04-07 16:58:11.734445578 +0200
+++ gold/cos-xpy-adr-syn.golden 2022-04-07 16:58:22.287485753 +0200
@@ -1,5 +1,5 @@
-((exl . id *** coerce . exr . id) . dup) .
-second coerce .
+((exl . id *** repr . exr . id) . dup) .
+second (id . repr) .
apply .
((curry
((exl . exr ***
@@ -8,12 +8,12 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr . exr ***
exr . exl) .
@@ -22,11 +22,12 @@
apply .
((curry
((exr ***
- coerce .
+ abst .
+ abst .
curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) .
dup) ***
cosC) .
dup) .
exl) .
dup) .
-(addC *** coerce . coerce . curry (dup . exr)) . dup
\ No newline at end of file
+(addC *** abst . abst . curry (dup . exr)) . dup
\ No newline at end of file
diff -ru gold0/cos-xpy-gradr-syn.golden gold/cos-xpy-gradr-syn.golden
--- gold0/cos-xpy-gradr-syn.golden 2022-04-07 16:58:11.734445578 +0200
+++ gold/cos-xpy-gradr-syn.golden 2022-04-07 16:58:22.288485757 +0200
@@ -1,7 +1,7 @@
((exl . id ***
- apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
+ apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
dup) .
-second coerce .
+second (id . repr) .
apply .
((curry
((exl . exr ***
@@ -10,12 +10,12 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr . exr ***
exr . exl) .
@@ -24,11 +24,12 @@
apply .
((curry
((exr ***
- coerce .
+ abst .
+ abst .
curry mulC . apply . (curry exl . negateC . sinC . exl *** exr) . dup) .
dup) ***
cosC) .
dup) .
exl) .
dup) .
-(addC *** coerce . coerce . curry (dup . exr)) . dup
\ No newline at end of file
+(addC *** abst . abst . curry (dup . exr)) . dup
\ No newline at end of file
diff -ru gold0/magSqr-adf-syn.golden gold/magSqr-adf-syn.golden
--- gold0/magSqr-adf-syn.golden 2022-04-07 16:58:11.734445578 +0200
+++ gold/magSqr-adf-syn.golden 2022-04-07 16:58:22.238485568 +0200
@@ -1,13 +1,13 @@
-second coerce .
-((addC . exl *** coerce . curry (addC . apply) . coerce . exr) . dup) .
+second (id . repr) .
+((addC . exl *** abst . curry (addC . apply) . repr . exr) . dup) .
((exl ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . exr ***
- coerce . curry (dup . exr)) .
+ repr . exr ***
+ abst . curry (dup . exr)) .
dup) .
dup) .
apply .
@@ -17,13 +17,13 @@
(((exl . exr *** exl . exr . exl) . dup ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . exr . exr ***
+ repr . exr . exr ***
exr . exr . exl) .
dup) .
dup) ***
@@ -32,11 +32,11 @@
((exl . exr ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . exr . exr ***
+ repr . exr . exr ***
exr . exl) .
dup) .
dup) ***
@@ -51,11 +51,11 @@
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . exl ***
- coerce . exr) .
+ repr . exl ***
+ repr . exr) .
dup) .
- coerce . curry mulC . exr ***
- coerce . curry mulC . exl) .
+ abst . curry mulC . exr ***
+ abst . curry mulC . exl) .
dup) .
dup) .
exl) .
@@ -63,12 +63,12 @@
((exl ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . exr ***
- coerce . curry (dup . exr)) .
+ repr . exr ***
+ abst . curry (dup . exr)) .
dup) .
dup) .
apply .
@@ -78,19 +78,19 @@
(((exl . exr *** exl . exr . exl) . dup ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . exr . exr ***
+ repr . exr . exr ***
exr . exr . exl) .
dup) .
dup) ***
- ((exl *** coerce . curry (exl . exr)) . dup) . exl . exl) .
+ ((exl *** abst . curry (exl . exr)) . dup) . exl . exl) .
dup) ***
- ((exl *** coerce . curry (exl . exr)) . dup) . exr) .
+ ((exl *** abst . curry (exl . exr)) . dup) . exr) .
dup) .
dup . exl . exl) .
dup) ***
@@ -99,11 +99,11 @@
((exl . exr ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . exr . exr ***
+ repr . exr . exr ***
exr . exl) .
dup) .
dup) ***
@@ -118,11 +118,11 @@
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . exl ***
- coerce . exr) .
+ repr . exl ***
+ repr . exr) .
dup) .
- coerce . curry mulC . exr ***
- coerce . curry mulC . exl) .
+ abst . curry mulC . exr ***
+ abst . curry mulC . exl) .
dup) .
dup) .
exl) .
@@ -130,11 +130,11 @@
((exl ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . exr ***
- coerce . curry (dup . exr)) .
+ repr . exr ***
+ abst . curry (dup . exr)) .
dup) .
dup) .
apply .
@@ -144,19 +144,19 @@
(((exl . exr *** exl . exr . exl) . dup ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . exr . exr ***
+ repr . exr . exr ***
exr . exr . exl) .
dup) .
dup) ***
- ((exr *** coerce . curry (exr . exr)) . dup) . exl . exl) .
+ ((exr *** abst . curry (exr . exr)) . dup) . exl . exl) .
dup) ***
- ((exr *** coerce . curry (exr . exr)) . dup) . exr) .
+ ((exr *** abst . curry (exr . exr)) . dup) . exr) .
dup) .
dup . exr) .
dup) .
diff -ru gold0/magSqr-adr-syn.golden gold/magSqr-adr-syn.golden
--- gold0/magSqr-adr-syn.golden 2022-04-07 16:58:11.734445578 +0200
+++ gold/magSqr-adr-syn.golden 2022-04-07 16:58:22.246485598 +0200
@@ -1,5 +1,5 @@
-((exl . id *** coerce . exr . id) . dup) .
-second coerce .
+((exl . id *** repr . exr . id) . dup) .
+second (id . repr) .
apply .
((curry
((exl . exr ***
@@ -8,18 +8,18 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr . exr ***
exr . exl) .
dup) .
dup) ***
- ((addC *** coerce . coerce . curry (dup . exr)) . dup) . exl) .
+ ((addC *** abst . abst . curry (dup . exr)) . dup) . exl) .
dup) .
((exl ***
apply .
@@ -27,15 +27,15 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr ***
- coerce .
- coerce .
+ abst .
+ abst .
curry
(((addC . (exl . exr . exl *** exl . exr) . dup ***
addC . (exr . exr . exl *** exr . exr) . dup) .
@@ -50,15 +50,15 @@
(((exl . exr *** exl . exr . exl) . dup ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exr . exr ***
+ repr . repr . exr . exr ***
exr . exr . exl) .
dup) .
dup) ***
@@ -70,12 +70,12 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr . exr ***
exr . exl) .
@@ -84,29 +84,29 @@
((mulC ***
apply .
(curry
- (coerce .
+ (abst .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce .
+ repr .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exl ***
- coerce . exr) .
+ repr . repr . exl ***
+ repr . exr) .
dup ***
- coerce . curry (dup . exr)) .
+ abst . curry (dup . exr)) .
dup) .
- coerce . curry mulC . exr ***
- coerce . curry mulC . exl) .
+ abst . abst . curry mulC . exr ***
+ abst . abst . curry mulC . exl) .
dup) .
dup) .
exl) .
@@ -117,16 +117,16 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr ***
- coerce .
- coerce .
+ abst .
+ abst .
curry
(((addC . (exl . exr . exl *** exl . exr) . dup ***
addC . (exr . exr . exl *** exr . exr) . dup) .
@@ -141,24 +141,23 @@
(((exl . exr *** exl . exr . exl) . dup ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exr . exr ***
+ repr . repr . exr . exr ***
exr . exr . exl) .
dup) .
dup) ***
- ((exl *** coerce . coerce . curry (((id *** const 0.0) . dup) . exr)) .
+ ((exl *** abst . abst . curry (((id *** const 0.0) . dup) . exr)) .
dup) .
exl . exl) .
dup) ***
- ((exl *** coerce . coerce . curry (((id *** const 0.0) . dup) . exr)) .
- dup) .
+ ((exl *** abst . abst . curry (((id *** const 0.0) . dup) . exr)) . dup) .
exr) .
dup) .
dup . exl . exl) .
@@ -171,12 +170,12 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr . exr ***
exr . exl) .
@@ -185,29 +184,29 @@
((mulC ***
apply .
(curry
- (coerce .
+ (abst .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce .
+ repr .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exl ***
- coerce . exr) .
+ repr . repr . exl ***
+ repr . exr) .
dup ***
- coerce . curry (dup . exr)) .
+ abst . curry (dup . exr)) .
dup) .
- coerce . curry mulC . exr ***
- coerce . curry mulC . exl) .
+ abst . abst . curry mulC . exr ***
+ abst . abst . curry mulC . exl) .
dup) .
dup) .
exl) .
@@ -218,16 +217,16 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr ***
- coerce .
- coerce .
+ abst .
+ abst .
curry
(((addC . (exl . exr . exl *** exl . exr) . dup ***
addC . (exr . exr . exl *** exr . exr) . dup) .
@@ -242,24 +241,22 @@
(((exl . exr *** exl . exr . exl) . dup ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exr . exr ***
+ repr . repr . exr . exr ***
exr . exr . exl) .
dup) .
dup) ***
- ((exr *** coerce . coerce . curry (((const 0.0 *** id) . dup) . exr)) .
- dup) .
+ ((exr *** abst . abst . curry (((const 0.0 *** id) . dup) . exr)) . dup) .
exl . exl) .
dup) ***
- ((exr *** coerce . coerce . curry (((const 0.0 *** id) . dup) . exr)) .
- dup) .
+ ((exr *** abst . abst . curry (((const 0.0 *** id) . dup) . exr)) . dup) .
exr) .
dup) .
dup . exr) .
diff -ru gold0/magSqr-gradr-syn.golden gold/magSqr-gradr-syn.golden
--- gold0/magSqr-gradr-syn.golden 2022-04-07 16:58:11.734445578 +0200
+++ gold/magSqr-gradr-syn.golden 2022-04-07 16:58:22.256485636 +0200
@@ -1,7 +1,7 @@
((exl . id ***
- apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
+ apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
dup) .
-second coerce .
+second (id . repr) .
apply .
((curry
((exl . exr ***
@@ -10,18 +10,18 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr . exr ***
exr . exl) .
dup) .
dup) ***
- ((addC *** coerce . coerce . curry (dup . exr)) . dup) . exl) .
+ ((addC *** abst . abst . curry (dup . exr)) . dup) . exl) .
dup) .
((exl ***
apply .
@@ -29,15 +29,15 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr ***
- coerce .
- coerce .
+ abst .
+ abst .
curry
(((addC . (exl . exr . exl *** exl . exr) . dup ***
addC . (exr . exr . exl *** exr . exr) . dup) .
@@ -52,15 +52,15 @@
(((exl . exr *** exl . exr . exl) . dup ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exr . exr ***
+ repr . repr . exr . exr ***
exr . exr . exl) .
dup) .
dup) ***
@@ -72,12 +72,12 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr . exr ***
exr . exl) .
@@ -86,29 +86,29 @@
((mulC ***
apply .
(curry
- (coerce .
+ (abst .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce .
+ repr .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exl ***
- coerce . exr) .
+ repr . repr . exl ***
+ repr . exr) .
dup ***
- coerce . curry (dup . exr)) .
+ abst . curry (dup . exr)) .
dup) .
- coerce . curry mulC . exr ***
- coerce . curry mulC . exl) .
+ abst . abst . curry mulC . exr ***
+ abst . abst . curry mulC . exl) .
dup) .
dup) .
exl) .
@@ -119,16 +119,16 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr ***
- coerce .
- coerce .
+ abst .
+ abst .
curry
(((addC . (exl . exr . exl *** exl . exr) . dup ***
addC . (exr . exr . exl *** exr . exr) . dup) .
@@ -143,24 +143,23 @@
(((exl . exr *** exl . exr . exl) . dup ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exr . exr ***
+ repr . repr . exr . exr ***
exr . exr . exl) .
dup) .
dup) ***
- ((exl *** coerce . coerce . curry (((id *** const 0.0) . dup) . exr)) .
+ ((exl *** abst . abst . curry (((id *** const 0.0) . dup) . exr)) .
dup) .
exl . exl) .
dup) ***
- ((exl *** coerce . coerce . curry (((id *** const 0.0) . dup) . exr)) .
- dup) .
+ ((exl *** abst . abst . curry (((id *** const 0.0) . dup) . exr)) . dup) .
exr) .
dup) .
dup . exl . exl) .
@@ -173,12 +172,12 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr . exr ***
exr . exl) .
@@ -187,29 +186,29 @@
((mulC ***
apply .
(curry
- (coerce .
+ (abst .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce .
+ repr .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exl ***
- coerce . exr) .
+ repr . repr . exl ***
+ repr . exr) .
dup ***
- coerce . curry (dup . exr)) .
+ abst . curry (dup . exr)) .
dup) .
- coerce . curry mulC . exr ***
- coerce . curry mulC . exl) .
+ abst . abst . curry mulC . exr ***
+ abst . abst . curry mulC . exl) .
dup) .
dup) .
exl) .
@@ -220,16 +219,16 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr ***
- coerce .
- coerce .
+ abst .
+ abst .
curry
(((addC . (exl . exr . exl *** exl . exr) . dup ***
addC . (exr . exr . exl *** exr . exr) . dup) .
@@ -244,24 +243,22 @@
(((exl . exr *** exl . exr . exl) . dup ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exr . exr ***
+ repr . repr . exr . exr ***
exr . exr . exl) .
dup) .
dup) ***
- ((exr *** coerce . coerce . curry (((const 0.0 *** id) . dup) . exr)) .
- dup) .
+ ((exr *** abst . abst . curry (((const 0.0 *** id) . dup) . exr)) . dup) .
exl . exl) .
dup) ***
- ((exr *** coerce . coerce . curry (((const 0.0 *** id) . dup) . exr)) .
- dup) .
+ ((exr *** abst . abst . curry (((const 0.0 *** id) . dup) . exr)) . dup) .
exr) .
dup) .
dup . exr) .
diff -ru gold0/sin-adf-syn.golden gold/sin-adf-syn.golden
--- gold0/sin-adf-syn.golden 2022-04-07 16:58:11.733445574 +0200
+++ gold/sin-adf-syn.golden 2022-04-07 16:58:22.229485533 +0200
@@ -1,8 +1,7 @@
-second coerce .
+second (id . repr) .
apply .
(curry
- ((exr ***
- coerce . curry mulC . apply . (curry exl . cosC . exl *** exr) . dup) .
+ ((exr *** abst . curry mulC . apply . (curry exl . cosC . exl *** exr) . dup) .
dup) ***
sinC) .
dup
\ No newline at end of file
diff -ru gold0/sin-adr-syn.golden gold/sin-adr-syn.golden
--- gold0/sin-adr-syn.golden 2022-04-07 16:58:11.733445574 +0200
+++ gold/sin-adr-syn.golden 2022-04-07 16:58:22.229485533 +0200
@@ -1,9 +1,9 @@
-((exl . id *** coerce . exr . id) . dup) .
-second coerce .
+((exl . id *** repr . exr . id) . dup) .
+second (id . repr) .
apply .
(curry
((exr ***
- coerce . curry mulC . apply . (curry exl . cosC . exl *** exr) . dup) .
+ abst . abst . curry mulC . apply . (curry exl . cosC . exl *** exr) . dup) .
dup) ***
sinC) .
dup
\ No newline at end of file
diff -ru gold0/sin-gradr-syn.golden gold/sin-gradr-syn.golden
--- gold0/sin-gradr-syn.golden 2022-04-07 16:58:11.733445574 +0200
+++ gold/sin-gradr-syn.golden 2022-04-07 16:58:22.229485533 +0200
@@ -1,11 +1,11 @@
((exl . id ***
- apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
+ apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
dup) .
-second coerce .
+second (id . repr) .
apply .
(curry
((exr ***
- coerce . curry mulC . apply . (curry exl . cosC . exl *** exr) . dup) .
+ abst . abst . curry mulC . apply . (curry exl . cosC . exl *** exr) . dup) .
dup) ***
sinC) .
dup
\ No newline at end of file
diff -ru gold0/sqr-adf-syn.golden gold/sqr-adf-syn.golden
--- gold0/sqr-adf-syn.golden 2022-04-07 16:58:11.733445574 +0200
+++ gold/sqr-adf-syn.golden 2022-04-07 16:58:22.232485545 +0200
@@ -1,12 +1,12 @@
-second coerce .
+second (id . repr) .
((exl ***
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry (apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . exr ***
- coerce . curry (dup . exr)) .
+ repr . exr ***
+ abst . curry (dup . exr)) .
dup) .
dup) .
((mulC ***
@@ -20,11 +20,11 @@
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . exl ***
- coerce . exr) .
+ repr . exl ***
+ repr . exr) .
dup) .
- coerce . curry mulC . exr ***
- coerce . curry mulC . exl) .
+ abst . curry mulC . exr ***
+ abst . curry mulC . exl) .
dup) .
dup) .
dup
\ No newline at end of file
diff -ru gold0/sqr-adr-syn.golden gold/sqr-adr-syn.golden
--- gold0/sqr-adr-syn.golden 2022-04-07 16:58:11.733445574 +0200
+++ gold/sqr-adr-syn.golden 2022-04-07 16:58:22.233485549 +0200
@@ -1,5 +1,5 @@
-((exl . id *** coerce . exr . id) . dup) .
-second coerce .
+((exl . id *** repr . exr . id) . dup) .
+second (id . repr) .
apply .
((curry
((exl . exr ***
@@ -8,12 +8,12 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr . exr ***
exr . exl) .
@@ -22,31 +22,31 @@
((mulC ***
apply .
(curry
- (coerce .
+ (abst .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce .
+ repr .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exl ***
- coerce . exr) .
+ repr . repr . exl ***
+ repr . exr) .
dup ***
- coerce . curry (dup . exr)) .
+ abst . curry (dup . exr)) .
dup) .
- coerce . curry mulC . exr ***
- coerce . curry mulC . exl) .
+ abst . abst . curry mulC . exr ***
+ abst . abst . curry mulC . exl) .
dup) .
dup) .
exl) .
dup) .
-(dup *** coerce . coerce . curry (addC . exr)) . dup
\ No newline at end of file
+(dup *** abst . abst . curry (addC . exr)) . dup
\ No newline at end of file
diff -ru gold0/sqr-gradr-syn.golden gold/sqr-gradr-syn.golden
--- gold0/sqr-gradr-syn.golden 2022-04-07 16:58:11.734445578 +0200
+++ gold/sqr-gradr-syn.golden 2022-04-07 16:58:22.234485552 +0200
@@ -1,7 +1,7 @@
((exl . id ***
- apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
+ apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
dup) .
-second coerce .
+second (id . repr) .
apply .
((curry
((exl . exr ***
@@ -10,12 +10,12 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr . exr ***
exr . exl) .
@@ -24,31 +24,31 @@
((mulC ***
apply .
(curry
- (coerce .
+ (abst .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce .
+ repr .
apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
((apply . (exl . exl *** exl . exr) . dup ***
apply . (exr . exl *** exr . exr) . dup) .
dup)) .
- coerce . coerce . exl ***
- coerce . exr) .
+ repr . repr . exl ***
+ repr . exr) .
dup ***
- coerce . curry (dup . exr)) .
+ abst . curry (dup . exr)) .
dup) .
- coerce . curry mulC . exr ***
- coerce . curry mulC . exl) .
+ abst . abst . curry mulC . exr ***
+ abst . abst . curry mulC . exl) .
dup) .
dup) .
exl) .
dup) .
-(dup *** coerce . coerce . curry (addC . exr)) . dup
\ No newline at end of file
+(dup *** abst . abst . curry (addC . exr)) . dup
\ No newline at end of file
diff -ru gold0/twice-adf-syn.golden gold/twice-adf-syn.golden
--- gold0/twice-adf-syn.golden 2022-04-07 16:58:11.733445574 +0200
+++ gold/twice-adf-syn.golden 2022-04-07 16:58:22.230485537 +0200
@@ -1,3 +1,3 @@
(addC . dup ***
- coerce . coerce . curry (addC . apply) . coerce . coerce . curry (dup . exr)) .
+ id . repr . abst . curry (addC . apply) . repr . abst . curry (dup . exr)) .
dup
\ No newline at end of file
diff -ru gold0/twice-adr-syn.golden gold/twice-adr-syn.golden
--- gold0/twice-adr-syn.golden 2022-04-07 16:58:11.733445574 +0200
+++ gold/twice-adr-syn.golden 2022-04-07 16:58:22.231485541 +0200
@@ -1,5 +1,5 @@
-((exl . id *** coerce . exr . id) . dup) .
-second coerce .
+((exl . id *** repr . exr . id) . dup) .
+second (id . repr) .
apply .
((curry
((exl . exr ***
@@ -8,17 +8,17 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr . exr ***
exr . exl) .
dup) .
dup) ***
- ((addC *** coerce . coerce . curry (dup . exr)) . dup) . exl) .
+ ((addC *** abst . abst . curry (dup . exr)) . dup) . exl) .
dup) .
-(dup *** coerce . coerce . curry (addC . exr)) . dup
\ No newline at end of file
+(dup *** abst . abst . curry (addC . exr)) . dup
\ No newline at end of file
diff -ru gold0/twice-gradr-syn.golden gold/twice-gradr-syn.golden
--- gold0/twice-gradr-syn.golden 2022-04-07 16:58:11.733445574 +0200
+++ gold/twice-gradr-syn.golden 2022-04-07 16:58:22.231485541 +0200
@@ -1,7 +1,7 @@
((exl . id ***
- apply . ((coerce . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
+ apply . ((repr . exr *** const 1.0) . dup) . (id *** exr . id) . dup) .
dup) .
-second coerce .
+second (id . repr) .
apply .
((curry
((exl . exr ***
@@ -10,17 +10,17 @@
curry
(apply .
(coerce .
- curry (apply . (exl *** coerce . exr) . dup) .
+ curry (apply . (exl *** repr . exr) . dup) .
curry
(curry
(apply . (exl . exl *** apply . (exr . exl *** exr) . dup) . dup)) .
- coerce . coerce . exr ***
- coerce . exl) .
+ repr . repr . exr ***
+ repr . exl) .
dup) .
exr . exr ***
exr . exl) .
dup) .
dup) ***
- ((addC *** coerce . coerce . curry (dup . exr)) . dup) . exl) .
+ ((addC *** abst . abst . curry (dup . exr)) . dup) . exl) .
dup) .
-(dup *** coerce . coerce . curry (addC . exr)) . dup
\ No newline at end of file
+(dup *** abst . abst . curry (addC . exr)) . dup
\ No newline at end of file
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment