Skip to content
This repository has been archived by the owner on Jun 9, 2021. It is now read-only.

Issues: NickHu/homotopy-io

12 Open 6 Closed
12 Open 6 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Recursive expansion and contraction
#18 opened Aug 21, 2020 by jamievicary
UI hookups for expansion and contraction
#17 opened Aug 21, 2020 by jamievicary
Memoization
#15 opened Aug 6, 2020 by jamievicary
Command-line interface guidance
#11 opened Aug 5, 2020 by jamievicary
2
Repository name
#10 opened Aug 5, 2020 by jamievicary
Document how homotopy.io works documentation Improvements or additions to documentation
#9 opened Jun 28, 2020 by NickHu
Document build instructions documentation Improvements or additions to documentation good first issue Good for newcomers
#8 opened Jun 28, 2020 by NickHu
3
PureScript ↝ JavaScript integration path peripheral Non-mathematical component
#7 opened Jun 28, 2020 by NickHu
Implement diagram type-checking mathematical Related to the theoretical foundation
#6 opened Jun 28, 2020 by NickHu Core algorithms and data structures
Implement diagram normalisation mathematical Related to the theoretical foundation
#5 opened Jun 28, 2020 by NickHu Core algorithms and data structures
Implement diagram expansion
#4 opened Jun 28, 2020 by NickHu Core algorithms and data structures
@jamievicary
1
Implement diagram contraction mathematical Related to the theoretical foundation
#3 opened Jun 28, 2020 by NickHu Core algorithms and data structures
ProTip! Adding no:label will show everything without a label.