Ecosyste.ms: Issues

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

GitHub / cmk/connections issues and pull requests

#22 - Release new version on hackage

Issue - State: open - Opened by jfaure about 2 years ago

#21 - Add github actions

Pull Request - State: closed - Opened by zliu41 over 2 years ago - 1 comment

#20 - Remove safe haskell

Pull Request - State: closed - Opened by zliu41 over 2 years ago - 5 comments

#19 - Dev/0.3.2

Pull Request - State: closed - Opened by cmk about 3 years ago

#18 - Dev/0.3.2

Pull Request - State: closed - Opened by cmk about 3 years ago

#17 - Fix links in README

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

#16 - Dev/cast

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

#15 - Add left-hand 754 connections

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

#14 - Dev/3.1

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

#13 - add README.md to extra-source-files

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

#12 - Hackage 0.3 release

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

#11 - Add fixed point connections.

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

#10 - Add overview to README

Pull Request - State: closed - Opened by cmk almost 4 years ago

#9 - Dev/0.2.0

Pull Request - State: closed - Opened by cmk almost 4 years ago

#8 - Travis CI coverage with Stack

Pull Request - State: closed - Opened by peterbecich about 4 years ago - 1 comment

#7 - Add Heyting & co-Heyting

Pull Request - State: closed - Opened by cmk over 4 years ago

#6 - Add Alexandrov topologies.

Pull Request - State: closed - Opened by cmk over 4 years ago

#5 - Hackage release 0.1.0

Pull Request - State: closed - Opened by cmk over 4 years ago

#4 - Add Connection & Triple classes.

Pull Request - State: closed - Opened by cmk over 4 years ago

#3 - Dev/add from rational

Pull Request - State: closed - Opened by cmk almost 5 years ago

#2 - Add rounding functions.

Pull Request - State: closed - Opened by cmk almost 5 years ago

#1 - Dev/yoneda

Pull Request - State: closed - Opened by cmk almost 5 years ago