BekaValentine/AlphaConversion
Public repository.
Developer Profile
BekaValentine
Discovered public repositories for BekaValentine in the GitHub catalog.
BekaValentine/LensTutorial
Public repository.
BekaValentine/TypeTheory
Public repository.
BekaValentine/ExperimentalMetalanguage
Public repository.
BekaValentine/RegExWithZippers
RegEx with Zippers
BekaValentine/InversionCalculus
A simply typed lambda calculus solver for Agda, based on Pfenning's Inversion Calculus.
BekaValentine/algebraic-syntax
an agda project involving syntactic theory
BekaValentine/umdling-scheme-tutorials
Public repository.