articles

Tech stack & purpose

This is a collection of technical articles and educational materials exploring functional programming concepts and formal methods. The repository covers several domains: optimal evaluation of lambda calculus using Lamping's abstract algorithm, expressing side effects purely through "Recipes," lambda encodings for translating between Haskell and JavaScript, and formal verification through theorem proving in Agda. The materials are written primarily in Haskell and JavaScript, demonstrating concepts across both languages. The work references related projects like Moon-lang (an ultra-lightweight language for pure algorithms) and abstract-algorithm implementations. While no author or institution is explicitly named in the provided material, the content appears to be educational in nature, explaining advanced functional programming techniques through detailed examples and comparisons.

Community & reference links

• bang-notation

Languages

Contributors

• Victor Maia10 commits
• MaiaVictor2 commits