leifwickland/redeyes
The repository for RedEyes core.
Vim Scala IDE (VimSIde) built upon ENSIME
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
The repository for RedEyes core.
Exercises for "Complexity and Reasoning in Functional Programming" at LambdaConf 2014
paulp's lattice of tightropes