AndrasKovacs/langs-and-paradigms
ELTE IK Programming languages and paradigms lecture
Extra foreign primops for primitive arrays.
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
"Component based software development" course assignments.
Extensible Effects: An Alternative to Monad Transformers