diff options
| author | Eduardo Julian | 2023-02-12 02:54:39 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2023-02-12 02:54:39 -0400 |
| commit | 049dcdc0c6dc678786dbf854a20385fb6ef06f9a (patch) | |
| tree | 65188f9d0858116d20051930705aa73b66d2aaa5 /stdlib/source/documentation | |
| parent | 6c4c9a8c10950e3244f15451fe18fb768abee924 (diff) | |
Added an abstraction for interest rates.
Diffstat (limited to 'stdlib/source/documentation')
| -rw-r--r-- | stdlib/source/documentation/lux.lux | 5 | ||||
| -rw-r--r-- | stdlib/source/documentation/lux/meta/type.lux | 8 |
2 files changed, 7 insertions, 6 deletions
diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux index 01614c02b..24ea6295c 100644 --- a/stdlib/source/documentation/lux.lux +++ b/stdlib/source/documentation/lux.lux @@ -301,11 +301,6 @@ ($.comment "=>") ($.example #1)) - ($.definition /.type - "Takes a type expression and returns its representation as data-structure." - ($.example (type_literal (All (_ a) - (Maybe (List a)))))) - ($.definition /.is "The type-annotation macro." ($.example (is (List Int) diff --git a/stdlib/source/documentation/lux/meta/type.lux b/stdlib/source/documentation/lux/meta/type.lux index 778298d1f..72d876cb5 100644 --- a/stdlib/source/documentation/lux/meta/type.lux +++ b/stdlib/source/documentation/lux/meta/type.lux @@ -262,13 +262,19 @@ (foo expression))) (Bar a b c)))) ($.comment "=>") - ($.example (.type_literal (Bar Bit Nat Text)))) + ($.example (/.literal (Bar Bit Nat Text)))) ($.definition /.let "Local bindings for types." ($.example (let [side (Either Int Frac)] (List [side side])))) + ($.definition /.literal + "Takes a type expression and returns its representation as data-structure." + ($.example (/.literal + (All (_ of) + (Maybe (List of)))))) + (all list#composite ..\\parser |