From 35c0807799717cd720ab28b35851c1a01a67445d Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 7 Sep 2021 22:50:21 -0400 Subject: De-taggification | part 4 --- .../specification/compositor/generation/function.lux | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'stdlib/source/specification/compositor/generation/function.lux') diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux index f356bce90..1708264a2 100644 --- a/stdlib/source/specification/compositor/generation/function.lux +++ b/stdlib/source/specification/compositor/generation/function.lux @@ -3,24 +3,24 @@ ["_" test {"+" [Test]}] [abstract [monad {"+" [do]}] - ["." enum]] + ["[0]" enum]] [control [pipe {"+" [case>]}] - ["." maybe]] + ["[0]" maybe]] [data [number ["n" nat]] [collection - ["." list ("#\." functor)]]] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["r" random {"+" [Random]} ("#\." monad)]] + ["r" random {"+" [Random]} ("[1]\[0]" monad)]] [tool [compiler [analysis {"+" [Arity]}] - ["." reference {"+" [Register]}] - ["." synthesis {"+" [Synthesis]}]]]] - ["." // "_" - ["#." case] + ["[0]" reference {"+" [Register]}] + ["[0]" synthesis {"+" [Synthesis]}]]]] + ["[0]" // "_" + ["[1][0]" case] [// [common {"+" [Runner]}]]]) -- cgit v1.2.3