Ecosyste.ms: Issues

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

GitHub / mbenke/hm-typecheck issues and pull requests

#5 - Miscompilation of examples/mona/03join.fun to Yul

Issue - State: closed - Opened by mbenke 4 months ago - 1 comment

#4 - Specialisation ignores mutual blocks

Issue - State: open - Opened by mbenke 4 months ago

#3 - Fix core generation for functions not in eta-long form

Issue - State: closed - Opened by mbenke 4 months ago - 2 comments

#2 - Typechecking annotates some variables incorrectly

Issue - State: closed - Opened by mbenke 5 months ago

#1 - Add nix flake

Pull Request - State: closed - Opened by d-xo 5 months ago