Richard Eisenberg

singletons. Fake dependent types in Haskell using singletons

glambda. The home of the Glamorous Glambda interpreter

thesis. Richard A. Eisenberg's PhD Dissertation

units. The home of the units Haskell package

effects. A Haskell translation of Idris's original algebraic effects library

ghc. Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE

th-desugar. Desugars Template Haskell abstract syntax to a simpler format without changing semantics

dependent-db. Haskell

video-resources. Resources to look at in concert with my Haskell videos

nyc-hug-oct2014. Repo for code from my NYC Haskell Users' Group talk on Oct. 24, 2014

units-defs. Public repo for the units-defs package of well-typed unit definitions.

triptych. The code for my 2016 Haskell Implementors' Workshop talk

ott-tutorial. A tutorial on the ott tool for presenting type theory

wordle. A wordle guess analyzer, demonstrated as part of a video series in early 2022.

eiger. An experiment in representing legal regulations in Haskell code

type-reflection. Support functions to work with GHC's Type.Reflection, including pretty-printing.

cs380. Public copy of repo used to run my CS 380 course at Bryn Mawr College

funeq. Haskell files to allow easy comparison of functions in repl.it

ghc-proposals. Proposed compiler and language changes for GHC and GHC/Haskell

HUnit-approx. A small Haskell package allowing comparison of floating point values with HUnit

janestreet-videos. Resources attached to the videos I have made for Jane Street

bib. Richard Eisenberg's BiBTeX file

cs206. Course materials for Bryn Mawr's CS206: Introduction to Data Structures

runtime-instances. Runtime class instance lookup

cs231. Course materials for Bryn Mawr's CS231: Discrete Math

web. HTML

house. Haskell

cs113. Course materials for Bryn Mawr's CS113: Computer Science I

no-role-annots. Role annotations without -XRoleAnnotations

icfp2024demos. Demo ML files for use during ICFP'24

merlin. Context sensitive completion for OCaml in Vim and Emacs

disco. Functional teaching language for use in a discrete mathematics course

layout-polymorphism. A place to stash documents, thought, etc. about the design for layout polymorphism in OCaml

ocaml-rfcs. Design discussions about the OCaml language