From 5da753fb0a4e220ea29fb3f45c92a69358901c20 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 26 Jul 2022 20:15:22 -0400 Subject: Slightly cleaner application of variance for FRP channels. --- stdlib/source/documentation/lux/control/concurrency/frp.lux | 2 +- stdlib/source/documentation/lux/data/collection/array.lux | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'stdlib/source/documentation') diff --git a/stdlib/source/documentation/lux/control/concurrency/frp.lux b/stdlib/source/documentation/lux/control/concurrency/frp.lux index d3abce031..c2e543372 100644 --- a/stdlib/source/documentation/lux/control/concurrency/frp.lux +++ b/stdlib/source/documentation/lux/control/concurrency/frp.lux @@ -12,7 +12,7 @@ (.List $.Module) ($.module /._ "" - [($.definition /.channel_is_already_closed) + [($.definition /.already_closed) ($.definition /.functor) ($.definition /.apply) ($.definition /.monad) diff --git a/stdlib/source/documentation/lux/data/collection/array.lux b/stdlib/source/documentation/lux/data/collection/array.lux index 2fd48ac01..164e10326 100644 --- a/stdlib/source/documentation/lux/data/collection/array.lux +++ b/stdlib/source/documentation/lux/data/collection/array.lux @@ -14,7 +14,7 @@ (.List $.Module) ($.module /._ "" - [($.definition /.type_name) + [($.definition /.primitive) ($.definition /.equivalence) ($.definition /.monoid) ($.definition /.functor) -- cgit v1.2.3