hazelgrove/error-localization-agda issues and pull requests

#25 - agda: Use meet symbol for meet

Pull Request - State: closed - Opened by mirryi over 1 year ago

#25 - agda: Use meet symbol for meet

Pull Request - State: closed - Opened by mirryi over 1 year ago

#24 - formalism: Use meet symbol for meet

Pull Request - State: closed - Opened by mirryi over 1 year ago

#24 - formalism: Use meet symbol for meet

Pull Request - State: closed - Opened by mirryi over 1 year ago

#23 - formalism: Add mechanization indicators for each section

Pull Request - State: closed - Opened by mirryi over 1 year ago

#23 - formalism: Add mechanization indicators for each section

Pull Request - State: closed - Opened by mirryi over 1 year ago

#22 - formalism: Use xelatex

Pull Request - State: closed - Opened by mirryi over 1 year ago

#22 - formalism: Use xelatex

Pull Request - State: closed - Opened by mirryi over 1 year ago

#21 - formalism: Fix various typos

Pull Request - State: closed - Opened by mirryi over 1 year ago

#21 - formalism: Fix various typos

Pull Request - State: closed - Opened by mirryi over 1 year ago

#20 - formalism: Move type meet to premise position

Pull Request - State: closed - Opened by mirryi over 1 year ago

#20 - formalism: Move type meet to premise position

Pull Request - State: closed - Opened by mirryi over 1 year ago

#19 - formalism: Indicate which parts are mechanized

Issue - State: closed - Opened by mirryi over 1 year ago

#19 - formalism: Indicate which parts are mechanized

Issue - State: closed - Opened by mirryi over 1 year ago

#18 - formalism: Relate the untyped and typed Hazelnut models

Issue - State: closed - Opened by mirryi over 1 year ago - 1 comment

#18 - formalism: Relate the untyped and typed Hazelnut models

Issue - State: closed - Opened by mirryi over 1 year ago - 1 comment

#17 - formalism: Fix various typos

Issue - State: closed - Opened by mirryi over 1 year ago

#17 - formalism: Fix various typos

Issue - State: closed - Opened by mirryi over 1 year ago

#16 - formalism: Move type meet to premise position

Issue - State: closed - Opened by mirryi over 1 year ago

#16 - formalism: Move type meet to premise position

Issue - State: closed - Opened by mirryi over 1 year ago

#15 - formalism + agda: Rename "join" to "meet"?

Issue - State: closed - Opened by mirryi over 1 year ago - 1 comment

#15 - formalism + agda: Rename "join" to "meet"?

Issue - State: closed - Opened by mirryi over 1 year ago - 1 comment

#14 - formalism: Add a brief preface

Pull Request - State: closed - Opened by mirryi over 1 year ago

#14 - formalism: Add a brief preface

Pull Request - State: closed - Opened by mirryi over 1 year ago

#13 - formalism: Clean up syntax definitions and rule ordering

Pull Request - State: closed - Opened by mirryi over 1 year ago

#12 - formalism: Replace "markless" judgement(s) with "marked" judgment(s)

Pull Request - State: open - Opened by mirryi over 1 year ago - 1 comment

#11 - formalism: Clean up syntax and mark erasure definitions

Issue - State: closed - Opened by mirryi over 1 year ago

#11 - formalism: Clean up syntax and mark erasure definitions

Issue - State: closed - Opened by mirryi over 1 year ago

#10 - agda: Mechanization of the typed Hazelnut system

Pull Request - State: open - Opened by mirryi over 1 year ago - 1 comment

#10 - agda: Mechanization of the typed Hazelnut system

Pull Request - State: open - Opened by mirryi over 1 year ago - 1 comment

#9 - formalism + agda: Consider inverting the "markless" judgment(s) into "marked" judgment(s)

Issue - State: open - Opened by mirryi over 1 year ago

#8 - formalism: Clean up section on typed Hazelnut

Pull Request - State: closed - Opened by mirryi over 1 year ago

#7 - formalism: Clean up section on untyped Hazelnut

Pull Request - State: closed - Opened by mirryi over 1 year ago

#7 - formalism: Clean up section on untyped Hazelnut

Pull Request - State: closed - Opened by mirryi over 1 year ago

#6 - formalism: Use lowercase top-level section headings

Pull Request - State: closed - Opened by mirryi over 1 year ago

#5 - formalism: Add LaTeX section labels for all sections

Pull Request - State: closed - Opened by mirryi over 1 year ago

#4 - formalism: Make the patterned lets extension section into a top-level section

Pull Request - State: closed - Opened by mirryi over 1 year ago

#3 - formalism: Fill in auxiliary definitions and metatheorems for patterned let

Pull Request - State: closed - Opened by mirryi over 1 year ago

#2 - formalism: Split symbols.tex into multiple files

Pull Request - State: closed - Opened by mirryi over 1 year ago

#1 - formalism: Extension with System F-style polymorphism

Pull Request - State: closed - Opened by mirryi over 1 year ago

GitHub / hazelgrove/error-localization-agda issues and pull requests