AndrasKovacs/langs-and-paradigms
ELTE IK Programming languages and paradigms lecture
"Component based software development" course assignments.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
ELTE IK Programming languages and paradigms lecture
Unary natural numbers relying on the singletons infrastructure
Extra foreign primops for primitive arrays.
Extensible Effects: An Alternative to Monad Transformers