src · holbert-ng · Tangled

the next generation of the in-browser educational proof assistant

51 files

Liam O'Connor · performance issues fixed, forest refactoring · 1mo ago

add atom prelude functionality

AssocCommBase.res

initial associative-commutative atom definition

reorganise atom defns

add atom prelude functionality

more cosmetic improvement

fix notification/updating bugs

componentgraph.ts

performance issues fixed, forest refactoring

ConfigBlock.res

prettier settings block

fix notification/updating bugs

EditableLabel.res

more cosmetic improvement

HOInductiveSet.res

more cosmetic improvement

fairly decent sidebar behaviour now.

HOMethodsView.res

started work on the sidebar

more cosmetic improvement

fairly decent sidebar behaviour now.

The term syntax overhaul: mixfix parser and pretty printer

more cosmetic improvement

HOTermView.resi

SHOTerm is now HOTerm

IdentifierView.res

more cosmetic improvement

fairly decent sidebar behaviour now.

more cosmetic improvement

MixfixGrammar.res

started work on the sidebar

The term syntax overhaul: mixfix parser and pretty printer

MixfixParser.res

The term syntax overhaul: mixfix parser and pretty printer

MixfixPrinter.res

The term syntax overhaul: mixfix parser and pretty printer

outside-click.js

presentation and build improvements

initial associative-commutative atom definition

new: proof actions are displayed in a separate part of the UI.

add atom prelude functionality

The term syntax overhaul: mixfix parser and pretty printer

more cosmetic improvement

presentation and build improvements

fairly decent sidebar behaviour now.

RewriteView.res

started work on the sidebar

performance issues fixed, forest refactoring

started work on the sidebar

add editable metas and rule names to proofs

The term syntax overhaul: mixfix parser and pretty printer

fairly decent sidebar behaviour now.

more cosmetic improvement

SidebarContext.res

Atom for HOTerm

fairly decent sidebar behaviour now.

fix a_1-unification

reorganise atom defns

StringAxiomSet.res

fix notification/updating bugs

add atom prelude functionality

reorganise atom defns

TermViewAsJudgmentView.res

The term syntax overhaul: mixfix parser and pretty printer

testcomponent.tsx

fix notification/updating bugs

more cosmetic improvement

add editable metas and rule names to proofs