Eduardo

Results 3 issues of Eduardo

``` Failed to build prettyprinter-configurable-0.1.0.0 (which is required by exe:plutus-starter-pab from plutus-starter-0.1.0.0). The failure occurred during the configure step. The build process terminated with exit code 127 ``` inputoutput/plutus-starter-devcontainer:latest using...

# Proposal: WinUI Expander Control A [spec](https://github.com/microsoft/microsoft-ui-xaml-specs/blob/user/kat-y/expander/active/Expander/Expander.md) has been opened with [a PR](https://github.com/microsoft/microsoft-ui-xaml-specs/pull/100) for this issue. Feel free to continue general discussion in this proposal! ## Summary Throughout Windows, different...

feature proposal
team-Controls
wct

Doing a read of a number with more than 255 decimal places i.e. ``` read("12.3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333") :: Decimal ``` (256 decimal places) Causes the following error: ``` *** Exception: Prelude.read: no...