https://github.com/ucsd-progsys/nate
Learning to Blame Type Errors from Novice Mistakes
https://github.com/ucsd-progsys/nate
machine-learning novice ocaml type-erasure
Last synced: about 1 year ago
JSON representation
Learning to Blame Type Errors from Novice Mistakes
- Host: GitHub
- URL: https://github.com/ucsd-progsys/nate
- Owner: ucsd-progsys
- License: bsd-3-clause
- Created: 2016-10-17T16:35:16.000Z (over 9 years ago)
- Default Branch: master
- Last Pushed: 2017-09-19T18:16:51.000Z (almost 9 years ago)
- Last Synced: 2025-03-28T01:45:57.395Z (over 1 year ago)
- Topics: machine-learning, novice, ocaml, type-erasure
- Language: OCaml
- Homepage:
- Size: 116 MB
- Stars: 10
- Watchers: 8
- Forks: 5
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE