Fairpool is a DEX for personal tokens. Create your own token & receive royalties from trading volume. Increase volume by offering dividends / selling content for your token. Subscribe to our Telegram / Twitter to get notified about updates.
Weekly progress
- ⚒ Found a way to prove theorems semi-automatically.
- ⚒ Worked on our decision-making system.
Liquid Haskell
While looking for a way to prove theorems in Baselang, we’ve found Liquid Haskell.
Liquid Haskell is an extension to GHC that allows the developers to prove theorems about their functions. The proofs are produced by an SMT solver. If the SMT solver can’t produce a proof automatically, the developer can help it by writing an equational proof.
This allows writing specifications with machine-checkable proofs. In turn, this allows us to describe how things work at different levels: a low-level version that describes the operation details & a high-level version that describes the properties of the low-level version. In general, the high-level version will be easier to understand. However, the high-level version must be derived from the low-level version in order to be correct. Liquid Haskell allows us to check that this derivation has been performed correctly.
We’ll try using Liquid Haskell in our decision-making system.
Next week’s focus
- ⚒ Develop our decision-making system.
About Fairpool
Fairpool is a DEX for personal tokens. Create your own token & receive royalties from trading volume. Increase volume by offering dividends / selling content for your token. If you want to get notified about updates to our products, please follow our Telegram & Twitter.
Any questions? Reach out to us:
Website: fairpool.io
Telegram: @FairpoolDEX
Twitter: @FairpoolDEX
Anchor Podcasts: @FairpoolDEX
Medium: fairpool-dex.medium.com
$FAIR token: Uniswap
