Giters
λ Magic (lambda-magic)

λ Magic

lambda-magic

Geek Repo

Programming language theory special interest group.

Location:Gensokyo

Home Page:https://lambda-forum.github.io/

Github PK Tool:Github PK Tool

λ Magic's repositories

plt-books

Books on programming language theory and linguistics in general.

Language:HaskellStargazers:47Issues:5Issues:1

cubicaltt

Experimental implementation of Cubical Type Theory

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

plfa.github.io

Introduction to programming language theory in Agda

Language:AgdaLicense:CC-BY-4.0Stargazers:0Issues:1Issues:0

presentations

Presentations on Liquid Haskell, type theory, and more

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

SPLV20

SPLV20 course notes

Language:IdrisStargazers:0Issues:1Issues:0