nrolland/agdaExperiences
scratchpad for various agda stuff
Public GitHub Catalog
Discovered Oct 3, 2026
nrolland / dotfiles
YADR - The best vim,git,zsh plugins and the cleanest vimrc you've ever seen
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.
#28044026GitHub System ID
nrollandOrganization / User
PublicVisibility
ActiveCatalog Status
More from nrolland
nrolland/lambda-calculus
A Formalization of Typed and Untyped λ-Calculus in SSReflect-Coq and Agda2
nrolland/functional-readings
Public repository.
nrolland/haskell-gadt-ex
Exercises for: http://en.wikibooks.org/wiki/Haskell/GADT