diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-01-17 16:31:52 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-01-17 16:31:52 -0500 |
| commit | e45fa99dc6c16bb4369039e1fd768512c3cdf3cb (patch) | |
| tree | 8638ea19426aaf9575603b698d644f680d9221eb /docs/tutorial/combinator.html | |
| parent | a0efe2b43544ec8edb01b3bab2ed6efe7ba5f6f2 (diff) | |
Use {𝔽} to format the right part of a train if it's a data value
Diffstat (limited to 'docs/tutorial/combinator.html')
0 files changed, 0 insertions, 0 deletions