Ecosyste.ms: Issues

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

GitHub / jespercockx/scope issues and pull requests

#13 - Permutations and Renaming

Pull Request - State: closed - Opened by EwenBC 19 days ago

#12 - Cut

Pull Request - State: closed - Opened by EwenBC about 2 months ago

#11 - inScope

Pull Request - State: closed - Opened by EwenBC about 2 months ago - 1 comment

#10 - Fix builds on CI

Pull Request - State: closed - Opened by liesnikov 4 months ago

#9 - remove the jailbreak from agda2hs

Pull Request - State: closed - Opened by liesnikov 5 months ago

#8 - Update flake.lock

Pull Request - State: closed - Opened by github-actions[bot] 5 months ago

#7 - Better tactic for scoping proofs

Issue - State: open - Opened by jespercockx 6 months ago

#6 - add missing opaque definitions to the unfolding

Pull Request - State: closed - Opened by liesnikov 7 months ago

#5 - Add a flake

Pull Request - State: closed - Opened by liesnikov 11 months ago - 1 comment

#4 - add a function implementing allLookup and friends

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

#3 - make superclass of the monoid transparent

Pull Request - State: closed - Opened by liesnikov about 1 year ago

#2 - add allIn function

Pull Request - State: closed - Opened by liesnikov about 1 year ago

#1 - fix imports

Pull Request - State: closed - Opened by flupe about 1 year ago