Skip to content
@lambda-magic

λ Magic

Programming language theory special interest group.

Pinned Loading

  1. plt-books Public

    Books on programming language theory and linguistics in general.

    Haskell 53 8

Repositories

Showing 6 of 6 repositories
  • plt-books Public

    Books on programming language theory and linguistics in general.

    Haskell 53 8 0 0 Updated Jul 16, 2021
  • elaboration-zoo Public Forked from AndrasKovacs/elaboration-zoo

    Minimal implementations for dependent type checking and elaboration

    Haskell 0 BSD-3-Clause 39 0 0 Updated Dec 7, 2020
  • plfa.github.io Public Forked from plfa/plfa.github.io

    Introduction to programming language theory in Agda

    Agda 0 CC-BY-4.0 331 0 0 Updated Oct 7, 2020
  • SPLV20 Public Forked from edwinb/SPLV20

    SPLV20 course notes

    Idris 0 34 0 0 Updated Aug 20, 2020
  • presentations Public Forked from nikivazou/presentations

    Presentations on Liquid Haskell, type theory, and more

    Haskell 0 BSD-3-Clause 1 0 0 Updated Jan 28, 2020
  • cubicaltt Public Forked from mortberg/cubicaltt

    Experimental implementation of Cubical Type Theory

    Haskell 0 MIT 76 0 0 Updated Mar 24, 2019