Daniel Wagner

An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"

dmwit

pulp: process your LaTeX log file with pulp and make a better paper

dmwit

Classes for types where we know all the values

dmwit