GitHub repository: nikivazou/EquationalReasoningInLiquidHaskell
Primary language: JavaScript
Description: Derivation of Optimized Definitions Based on Specs