kyagrd/HMtyInferUsingProlog
specifying type inference for functional language usning Prolog
Automatically exported from code.google.com/p/trellys
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
specifying type inference for functional language usning Prolog
in consideration to submit to post TYPES 2015
Korean chess board
Automatically exported from code.google.com/p/nax