jonsterling
Follow
Pinned
3,399 contributions in the last year
Contribution activity
June 2023
Created 29 commits in 4 repositories
Created a pull request in ocaml/opam-repository that received 1 comment
Package forester.2.1
forester.2.1
A tool for tending mathematical forests
Changelog: https://forest.jonmsterling.com/jms-005O.xml
Homepage: https://github.com/jonster…
+42
−0
•
1
comment
Created an issue in paolobrasolin/string-diagrams that received 3 comments
Labels for wires
Is there an existing issue for this? I have searched the existing issues Original problem It would be really nice to support placing a label nod…
•
3
comments
Opened 1 other issue in 1 repository
16
contributions
in private repositories
Jun 4 – Jun 5