Movatterモバイル変換

Showing 6 of 6 repositories

plt-books Public
Books on programming language theory and linguistics in general.
lambda-magic/plt-books’s past year of commit activity
Haskell 53 8 0 0 UpdatedJul 16, 2021
elaboration-zoo Public Forked fromAndrasKovacs/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
lambda-magic/elaboration-zoo’s past year of commit activity
Haskell0BSD-3-Clause 39 0 0 UpdatedDec 7, 2020
plfa.github.io Public Forked fromplfa/plfa.github.io
Introduction to programming language theory in Agda
lambda-magic/plfa.github.io’s past year of commit activity
Agda0CC-BY-4.0 331 0 0 UpdatedOct 7, 2020
SPLV20 Public Forked fromedwinb/SPLV20
SPLV20 course notes
lambda-magic/SPLV20’s past year of commit activity
Idris0 34 0 0 UpdatedAug 20, 2020
presentations Public Forked fromnikivazou/presentations
Presentations on Liquid Haskell, type theory, and more
lambda-magic/presentations’s past year of commit activity
Haskell0BSD-3-Clause 1 0 0 UpdatedJan 28, 2020
cubicaltt Public Forked frommortberg/cubicaltt
Experimental implementation of Cubical Type Theory
lambda-magic/cubicaltt’s past year of commit activity
Haskell0MIT 76 0 0 UpdatedMar 24, 2019

Navigation Menu