Ecosyste.ms: Issues

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

GitHub / advancedresearch/caso issues and pull requests

#26 - Add linear morphisms

Issue - State: open - Opened by bvssvni over 2 years ago
Labels: discussion, draft

#25 - Published 0.2.2

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#24 - Fixed version number

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#23 - Published 0.2.1

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#22 - Removed "left_inv" from rules

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#21 - Published 0.2.0

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#20 - Removed left invert

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#19 - Handle more cases

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#18 - Fixed a bug

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#17 - Added section to docs about how to solve triangles

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#16 - Added "Design" section to docs

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#15 - Added link to path semantics project

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#14 - Added docs about higher morphisms

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#13 - Added docs about autocorrection of directional errors

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#12 - Fixed bug in `update`

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#11 - Added docs

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#10 - Removed generics

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#9 - Fixed unit tests

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#8 - Added "echo <expr>"

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#7 - Use `TryFrom`

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#6 - Added install instructions

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#5 - Added "help"

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#4 - Added "caso" example

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#3 - Added case

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#2 - Added table of morphisms to docs

Pull Request - State: closed - Opened by bvssvni over 2 years ago

#1 - Published 0.1.0

Pull Request - State: closed - Opened by bvssvni over 2 years ago