nrolland/dotfiles
YADR - The best vim,git,zsh plugins and the cleanest vimrc you've ever seen
Public GitHub Catalog
Discovered Oct 3, 2026
nrolland / lambda-calculus
A Formalization of Typed and Untyped λ-Calculus in SSReflect-Coq and Agda2
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#27825049GitHub System ID
nrollandOrganization / User
PublicVisibility
ActiveCatalog Status
More from nrolland
nrolland/agdaExperiences
scratchpad for various agda stuff
nrolland/functional-readings
Public repository.
nrolland/haskell-gadt-ex
Exercises for: http://en.wikibooks.org/wiki/Haskell/GADT