The Little Typer study group London
-
Updated
Jan 9, 2019 - Racket
The Little Typer study group London
Generic programming for Scala
Solved exercises of the Arend tutorial (https://arend-lang.github.io/documentation/tutorial)
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
Messing around with propositional logic in Agda
Variations on Noetherianness
Dependent typed railway stations — a project for the Advanced Functional Programming course at MIMUW.
Code and examples based on the book 'Certified Programming with Dependent Types' (version: June 30, 2016) by Adam Chlipala.
A Dependently Typed Functional Programming Language
Notes and exercises from "Type-Driven Development with Idris"
Some examples of programs with dependent types from Type Theory course in IFMO University.
"Dependent Types for Software Engineers" - Report for the Seminar "Program Analysis and Transformation" in HS2020 about dependent types.
A toy, ML-like, dependently typed language
A dependent type checker for lambda calculus.
normalization by evaluation as a way of life
Formalizing the clone theory in type theory and Agda
Excercises from the book 'The little typer'
Calvin Talks Types
Add a description, image, and links to the dependent-types topic page so that developers can more easily learn about it.
To associate your repository with the dependent-types topic, visit your repo's landing page and select "manage topics."