🛣️ ROADMAP

See Issues.

Planned features.

For short version see TODO.

  • 🦄 ZOT:
    • untyped - An implementation of untyped lambda calculus in Haskell
    • tapl

🌈 ❤️ 💛 💚 💙 🤍 🖤 🦄