search

Quelklef / fitch

Interactive proof assistant for Fitch-style natural deduction
https://maynards.site/fitch
3 stars 0 forks source link

Clicking on "keys" buttons should insert the corresponding character #1

Closed Quelklef closed 5 years ago

Quelklef commented 6 years ago

The keys under the "keys" sections look like buttons. Clicking them should type that key for you. People shouldn't be typing with their mice, but it'd be a lightweight feature.

Quelklef commented 5 years ago

Implemented.