kikofernandez/Algorithm-W-Step-By-Step
Classic Algorithm W for type inference.
Terminal based Match application for the Advanced Software Design course at Uppsala Univeristy
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Classic Algorithm W for type inference.
Implementation of the Match application for the course: Advance Software Design
Implementations of various type systems in OCaml.
NO LONGER MAINTAINED! Generate a burndown chart from trello tasks