Related Repos
Search
⌘K
Feedback
sfultong / stand-in-language
a simple total pure functional language, eventually to have powerful static checking and optimization
☆33
Updated this week
Related projects:
ⓘ
nikivazou / EquationalReasoningInLiquidHaskell
Derivation of Optimized Definitions Based on Specs