(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019

Поділитися
Вставка
  • Опубліковано 15 січ 2025

КОМЕНТАРІ • 6

  • @GOTO-
    @GOTO-  5 місяців тому +1

    We are currently releasing older YOW! videos to serve as a valuable archive, preserving historical content. It is possible that a video is perceived as outdated. We believe it offers insightful glimpses into the past, enriching our understanding of history and development.

  • @ilhanilhanDev
    @ilhanilhanDev 8 місяців тому

    Good thing

  • @ilhanilhanDev
    @ilhanilhanDev 8 місяців тому

    Like

  • @ilhanilhanDev
    @ilhanilhanDev 8 місяців тому

    Zeroth

  • @ilhanilhanDev
    @ilhanilhanDev 8 місяців тому +1

    First