diff options
author | Eduardo Julian | 2021-09-04 12:49:52 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-04 12:49:52 -0400 |
commit | fc8bebd3b3c5f050ea92e72eecbd9f6df09f28db (patch) | |
tree | 24858adac0e67228620b7e9166e3b7335be9fd5a /stdlib/source/specification/compositor/generation/case.lux | |
parent | 891b1cfc82322f8017f0a4f6b707d6fe52024545 (diff) |
De-taggification | part 2
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/specification/compositor/generation/case.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux index d1d0074fd..c7c221eb7 100644 --- a/stdlib/source/specification/compositor/generation/case.lux +++ b/stdlib/source/specification/compositor/generation/case.lux @@ -1,32 +1,32 @@ (.module: - [lux (#- case) - ["_" test (#+ Test)] + [lux {"-" [case]} + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [control - [pipe (#+ case>)] - ["." try (#+ Try)]] + [pipe {"+" [case>]}] + ["." try {"+" [Try]}]] [data ["." text ("#\." equivalence) - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [number ["n" nat] ["f" frac]] [collection ["." list ("#\." mix)]]] [math - ["r" random (#+ Random)]] + ["r" random {"+" [Random]}]] [tool [compiler ["." reference] ["." analysis] - ["." synthesis (#+ Path Synthesis)] + ["." synthesis {"+" [Path Synthesis]}] ["." phase ["#/." synthesis ["." case]] ["." extension/synthesis]]]]] [/// - [common (#+ Runner)]]) + [common {"+" [Runner]}]]) (def: limit Nat 10) |