Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / rossberg/hamlet issues and pull requests

#10 - HaMLet S: exhaustiveness check for record ellipsis

Issue - State: closed - Opened by minoki over 1 year ago - 1 comment

#9 - typo corrections and speculative adjustments in System F

Pull Request - State: closed - Opened by SMHC36776 over 1 year ago - 2 comments

#8 - HaMLet S: Syntax of record update

Issue - State: closed - Opened by minoki almost 3 years ago - 1 comment

#7 - Fix the equality attributes of datatypes named `ref`

Pull Request - State: closed - Opened by elpinal over 3 years ago

#5 - Fix evaluation of multi open

Pull Request - State: closed - Opened by rossberg over 3 years ago

#4 - the dynamic interpretation of open declaration is buggy

Issue - State: closed - Opened by minoki over 3 years ago - 1 comment

#3 - Avoid shell globs

Pull Request - State: closed - Opened by sirikid over 5 years ago - 1 comment

#2 - HaMLet homepage link broken

Issue - State: closed - Opened by curiousleo over 5 years ago - 2 comments

#1 - Use polyc for more reliable compilation with recent versions of polyml

Pull Request - State: closed - Opened by bacam over 6 years ago