well-typed/ifl2024-call-by-name

Code examples for the keynote "The case for call-by-name" at IFL 2024

语言：Haskell · GitHub 星标：2 · Fork：0

在 GitHub 上查看原仓库