isovector/type-sets

type level sets

digama0/lean-type-theory

LaTeX code for a paper on lean's type theory

JordanMartinez/purescript-cookbook

An unofficial Cookbook for PureScript

jonsterling/ocaml-forester

Mirror of ocaml-forester

jonsterling/math

A mini-book on category theory. Superseded by https://github.com/jonsterling/forest

edwinb/TypeDD-Samples

Sample code from "Type Driven Development with Idris"

dunhamsteve/newt

A toy dependent typed language.