hazelgrove/hz issues and pull requests

#38 - Vim mode

Pull Request - State: closed - Opened by joelburget over 7 years ago - 2 comments

#37 - Tweak install directions.

Pull Request - State: closed - Opened by joelburget over 7 years ago

#36 - Cannot construct lit.

Issue - State: closed - Opened by joelburget over 7 years ago - 3 comments

#35 - Fix broken hazelgrove link.

Pull Request - State: closed - Opened by joelburget over 7 years ago - 1 comment

#34 - fix numbering in hz_semantics

Issue - State: closed - Opened by cyrus- over 8 years ago

#33 - fix the text boxes for case.

Issue - State: closed - Opened by MichaelHilton over 8 years ago - 1 comment

#32 - test on Firefox and Safari

Issue - State: closed - Opened by cyrus- over 8 years ago - 1 comment

#32 - test on Firefox and Safari

Issue - State: closed - Opened by cyrus- over 8 years ago - 1 comment

#31 - use colors as in the paper

Issue - State: closed - Opened by cyrus- over 8 years ago

#31 - use colors as in the paper

Issue - State: closed - Opened by cyrus- over 8 years ago

#30 - show synthesized type on screen

Issue - State: closed - Opened by cyrus- over 8 years ago

#30 - show synthesized type on screen

Issue - State: closed - Opened by cyrus- over 8 years ago

#29 - numeric literal consistency on acceptable values

Issue - State: closed - Opened by ivoysey over 8 years ago - 9 comments

#29 - numeric literal consistency on acceptable values

Issue - State: closed - Opened by ivoysey over 8 years ago - 9 comments

#28 - workflow for making lambdas and numeric literals

Issue - State: closed - Opened by ivoysey over 8 years ago - 25 comments

#28 - workflow for making lambdas and numeric literals

Issue - State: closed - Opened by ivoysey over 8 years ago - 25 comments

#27 - textbox clearing logic is broken

Issue - State: closed - Opened by cyrus- over 8 years ago

#27 - textbox clearing logic is broken

Issue - State: closed - Opened by cyrus- over 8 years ago

#26 - construct case textboxes don't clear

Issue - State: closed - Opened by cyrus- over 8 years ago - 1 comment

#26 - construct case textboxes don't clear

Issue - State: closed - Opened by cyrus- over 8 years ago - 1 comment

#25 - make a button for construct neHole

Issue - State: closed - Opened by cyrus- over 8 years ago

#25 - make a button for construct neHole

Issue - State: closed - Opened by cyrus- over 8 years ago

#24 - define keycode constants rather than using magic numbers

Issue - State: closed - Opened by cyrus- over 8 years ago

#24 - define keycode constants rather than using magic numbers

Issue - State: closed - Opened by cyrus- over 8 years ago

#23 - case hotkeys don't work yet

Issue - State: closed - Opened by cyrus- over 8 years ago

#23 - case hotkeys don't work yet

Issue - State: closed - Opened by cyrus- over 8 years ago

#22 - make any number key activate construct lit

Issue - State: closed - Opened by cyrus- over 8 years ago - 4 comments

#22 - make any number key activate construct lit

Issue - State: closed - Opened by cyrus- over 8 years ago - 4 comments

#21 - make hole syntax consistent with paper

Issue - State: closed - Opened by ivoysey over 8 years ago

#21 - make hole syntax consistent with paper

Issue - State: closed - Opened by ivoysey over 8 years ago

#20 - fix parenthesis in rendering

Issue - State: closed - Opened by ivoysey over 8 years ago - 2 comments

#20 - fix parenthesis in rendering

Issue - State: closed - Opened by ivoysey over 8 years ago - 2 comments

#19 - remove `construct arg` action for consistency with paper

Issue - State: closed - Opened by ivoysey over 8 years ago

#19 - remove `construct arg` action for consistency with paper

Issue - State: closed - Opened by ivoysey over 8 years ago

#18 - This cursor should be inside hole

Issue - State: closed - Opened by MichaelHilton over 8 years ago - 1 comment

#18 - This cursor should be inside hole

Issue - State: closed - Opened by MichaelHilton over 8 years ago - 1 comment

#17 - made visual improvement, and shortcuts are better

Pull Request - State: closed - Opened by MichaelHilton over 8 years ago

#17 - made visual improvement, and shortcuts are better

Pull Request - State: closed - Opened by MichaelHilton over 8 years ago

#16 - remove nextSib

Issue - State: closed - Opened by ivoysey over 8 years ago - 1 comment

#16 - remove nextSib

Issue - State: closed - Opened by ivoysey over 8 years ago - 1 comment

#15 - add sums

Issue - State: closed - Opened by cyrus- over 8 years ago

#15 - add sums

Issue - State: closed - Opened by cyrus- over 8 years ago

#14 - fix type deletion

Issue - State: closed - Opened by cyrus- over 8 years ago

#14 - fix type deletion

Issue - State: closed - Opened by cyrus- over 8 years ago

#13 - add hazel logo

Issue - State: closed - Opened by ivoysey over 8 years ago - 1 comment
Labels: enhancement

#13 - add hazel logo

Issue - State: closed - Opened by ivoysey over 8 years ago - 1 comment
Labels: enhancement

#12 - Add ability to select stylesheets on the fly

Issue - State: open - Opened by MichaelHilton over 8 years ago - 1 comment
Labels: enhancement

#12 - Add ability to select stylesheets on the fly

Issue - State: open - Opened by MichaelHilton over 8 years ago - 1 comment
Labels: enhancement

#11 - Make it look good

Issue - State: closed - Opened by MichaelHilton over 8 years ago

#11 - Make it look good

Issue - State: closed - Opened by MichaelHilton over 8 years ago

#10 - Add link to paper in website.

Issue - State: closed - Opened by MichaelHilton over 8 years ago

#10 - Add link to paper in website.

Issue - State: closed - Opened by MichaelHilton over 8 years ago

#9 - confirm that non-empty holes works correctly

Issue - State: closed - Opened by MichaelHilton over 8 years ago

#9 - confirm that non-empty holes works correctly

Issue - State: closed - Opened by MichaelHilton over 8 years ago

#8 - change shortcut keys to more intuitive values

Issue - State: closed - Opened by MichaelHilton over 8 years ago - 3 comments

#8 - change shortcut keys to more intuitive values

Issue - State: closed - Opened by MichaelHilton over 8 years ago - 3 comments

#7 - Make captions easier to read

Issue - State: closed - Opened by MichaelHilton over 8 years ago

#7 - Make captions easier to read

Issue - State: closed - Opened by MichaelHilton over 8 years ago

#6 - Move code for each event to that button

Issue - State: closed - Opened by MichaelHilton over 8 years ago

#6 - Move code for each event to that button

Issue - State: closed - Opened by MichaelHilton over 8 years ago

#5 - improve documentation in codebase

Issue - State: closed - Opened by MichaelHilton over 8 years ago - 1 comment

#5 - improve documentation in codebase

Issue - State: closed - Opened by MichaelHilton over 8 years ago - 1 comment

#4 - Clear textbox

Issue - State: closed - Opened by MichaelHilton over 8 years ago

#4 - Clear textbox

Issue - State: closed - Opened by MichaelHilton over 8 years ago

#3 - move to total CSS

Issue - State: closed - Opened by MichaelHilton over 8 years ago

#3 - move to total CSS

Issue - State: closed - Opened by MichaelHilton over 8 years ago

#2 - Add keyboard shortcuts to actions with textbox

Issue - State: closed - Opened by MichaelHilton over 8 years ago

#2 - Add keyboard shortcuts to actions with textbox

Issue - State: closed - Opened by MichaelHilton over 8 years ago

#1 - Master hz

Pull Request - State: closed - Opened by MichaelHilton over 8 years ago

#1 - Master hz

Pull Request - State: closed - Opened by MichaelHilton over 8 years ago

GitHub / hazelgrove/hz issues and pull requests