#

call-by-need

Here are 2 public repositories matching this topic...

bruijn

marvinborner / bruijn

🧮 Programming with pure lambda calculus

programming-language lambda-calculus combinatory-logic church-encoding balanced-ternary abstract-machine de-bruijn call-by-need

Updated Jul 16, 2026
Haskell

Nezk / naskets

A lazy, purely functional language based on System F-omega with (restricted) equirecursive types.

type-theory programming-language-theory system-f-omega bidirectional-typechecking call-by-need

Updated Jun 7, 2026
Haskell

Add this topic to your repo

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