Lesley's Digital Garden

Tag: computing/FunctionalProgramming

2 items with this tag.

  • Mar 14, 2024

    Generalized Algebraic Data Type (GADT)

    • computing/FunctionalProgramming/GADT
  • Mar 14, 2024

    referential transparency

    • computing/FunctionalProgramming
    • computing/PL/semantics

Created with Quartz v4.5.2 © 2026. All notes are written in Obsidian.

  • GitHub Repository
  • Mastodon