Popular repositories Loading

1. flang flang Public

   Haskell 2

2. abella-chtt abella-chtt Public

   Abella formalization of a non-deterministic version of our computational higher-dimensional type theory

   AMPL 1

3. hoz hoz Public

   Hoz: An Oz interpreter in Haskell

   Haskell 1

4. abella-tutorial abella-tutorial Public

   A short development for an Abella tutorial I gave at CMU on Nov 17, 2015

   AMPL

5. lean-choice lean-choice Public

   Formalization of my 2001 JSL proof that, intuitionistically, choice sets are well-orderable.

   Lean

6. haskell-for-readers haskell-for-readers Public

   Forked from nomeata/haskell-for-readers

   Lecture notes for teaching Haskell to those who want to read it

   CSS