Ecosyste.ms: Issues

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

GitHub / xzhseh/stlc-in-a-week issues and pull requests

#9 - feat(day7): add exercises, refsols, and tests for day7

Pull Request - State: closed - Opened by xzhseh 11 months ago

#8 - feat(day6): add day6 exercises; refsols & tests

Pull Request - State: closed - Opened by xzhseh 11 months ago

#6 - feat(day5): introduce Type; update Exp definition accordingly

Pull Request - State: closed - Opened by xzhseh 11 months ago

#5 - day5: introduce stlc expression (with type variables)

Issue - State: closed - Opened by xzhseh 11 months ago

#4 - day4: a more robust `yCombinator`

Issue - State: open - Opened by xzhseh 11 months ago

#2 - feat(day4): add yCombinator related reference solution

Pull Request - State: closed - Opened by xzhseh 11 months ago

#1 - day4: add `yCombinator` related code framework and refsols

Issue - State: closed - Opened by xzhseh 11 months ago