Pewarta Proxy

πŸ“‹ Server Request & Proxy Logs

Loading active proxy settings...
Developed by Khairul Adha (adhexa.id)
Mengambil log server...

βš™οΈ Pengaturan Proxy Target

Skip to content
#

lambda-expression

Here are 13 public repositories matching this topic...

A Haskell implementation of a Lambda Calculus interpreter supporting Normal and Applicative reduction strategies. Features include a powerful REPL, macro definitions, and a standard library with Church encodings for Booleans, Numerals, and Pairs. A comprehensive tool for understanding functional programming foundations.

  • Updated Jan 5, 2026
  • Haskell

Add this topic to your repo

To associate your repository with the lambda-expression topic, visit your repo's landing page and select "manage topics."

Learn more