Skip to content

Issues: nomeata/incredible

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

25 Open 76 Closed
25 Open 76 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

Turn up snapLinks behavior (it's good, you don't have to hold back, you're allowed to have more)
#144 opened Jul 31, 2024 by makoConstruct
6
remove source ghcjs, the nixpkgs patch has been merged
#143 opened Jul 31, 2024 by makoConstruct
3
Object support
#142 opened Mar 13, 2024 by JoJoDeveloping
4
How is the proposition in session 7 task 2 even valid?
#139 opened Jun 2, 2023 by eeropomell
3
Custom block is unexpectedly complicated
#135 opened Nov 5, 2022 by tekhnus
5
Help needed for last puzzle in Session 6
#133 opened Aug 24, 2022 by luckylone
5
Helper block edit dialogues open an all click events, even move and delete
#132 opened Aug 7, 2022 by yogo1212
5
Investigate size increase
#131 opened Jul 4, 2022 by nomeata
1
Can you add references to external resources?
#129 opened Jun 23, 2021 by umnikos
No obvious way to add blocks on mobile
#128 opened Feb 19, 2021 by IFcoltransG
1
2
Mark duplicate outputs to help finding an optimal proof
#113 opened Jun 17, 2019 by vvs-
custom block fails unexpectedly
#111 opened Apr 5, 2019 by rogpeppe
1
implement control-Z and control-Y for undo and redo
#108 opened Apr 3, 2019 by rogpeppe
1
tiny (circular) link prevents solution
#107 opened Apr 3, 2019 by rogpeppe
1
existential block is confusingly displayed
#106 opened Apr 3, 2019 by rogpeppe
2
Existentials and propagation of associated variables
#105 opened Apr 2, 2019 by thaumasiotes
7
Mark optimal and sub-optimal proofs differently in menu screen
#98 opened Dec 24, 2018 by olligobber
4
You can cheat by hiding the LEM in a custom block
#76 opened Dec 20, 2015 by roSievers
4
Skolemization does not work logic
#68 opened Oct 9, 2015 by nomeata
1
Black hole helper block needed enhancement logic
#60 opened Oct 4, 2015 by mohrm
11
Replace selected blocks by the block generated from them enhancement UI
#59 opened Oct 4, 2015 by mohrm
2
show generic label of input/output ports as tooltips UI
#58 opened Oct 4, 2015 by mohrm
3
Turn proofs into some other format enhancement logic
#28 opened Sep 25, 2015 by nomeata
2
Show something on unconnected ports UI
#24 opened Sep 22, 2015 by nomeata
7
Layout graph from proof UI
#21 opened Sep 20, 2015 by nomeata
3
ProTip! Exclude everything labeled bug with -label:bug.