Allan Erskine

Constructors of the same name confuse Agda

6

I get a lot of confusing yellow highlighting when using HoTT-Agda, which I initially ascribed to inability on my part, but have now reduced to a simple example which has...

Clarification on getFarmLPPriceInfo

1

Does anyone have some guidance on tying out numbers retrieved from this method vs eg the Raydium site. For example, for SOL-USDC via the SDK I see `lpTotalSupply: 35758909154945`, which...