folone/learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
Source code for a series of articles on type-level programming in Scala
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Learn you an Agda (and achieve enlightenment)
Public repository.
Experiments with macros
Source code for "There's a prolog in your Scala!" presentation at Scala eXchange conference 2013.