Bernardo Toninho's repositories
dotemacs
Literate Emacs configuration
Language:Emacs LispUnlicense000
Language:JavaGPL-2.0000
lambda_playground
A playground for teaching about lambda calculus implementations.
scribble-java
Core components for the Scribble Java tools
src
Public git conversion mirror of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.
Language:C000
system-F
Formalization of the polymorphic lambda calculus and its parametricity theorem
Language:Coq000