liamoc.net / holbert-ng
the next generation of the in-browser educational proof assistant
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

reorganise atom defns #3

open opened by
joshcbrown.tngl.sh targeting main from joshcbrown.tngl.sh/holbert-ng: assoc-comm-atom

the previous organisation didn't actually quite allow circular coercions, which wasn't discovered because there weren't any.

resolve conflicts

STACK 4
#8 HOTerm atom fixes
0
#0
#2 add atom prelude functionality
0
#2
#1 initial associative-commutative atom definition
0
#2
#3 reorganise atom defns
0
#2
Labels

None yet.

assignee

None yet.

Participants 1
AT URI
at://did:plc:2b3sedxepcp6u7s2najxr2zm/sh.tangled.repo.pull/3mke3eh2iqf22
Interdiff #0 → #1
src/AtomBase.res

This file has not been changed.

src/AtomDef.res

This file has not been changed.

src/SExp.res

This file has not been changed.

src/SExpView.res

This file has not been changed.

src/Scratch.res

This file has not been changed.

src/StringA.res

This file has not been changed.

src/StringA.resi

This file has not been changed.

src/StringAxiomSet.res

This file has not been changed.

src/Symbolic.res

This file has not been changed.

src/Symbolic.resi

This file has not been changed.

tests/RuleTest.res

This file has not been changed.

History

3 rounds 0 comments
sign up or login to add to the discussion
joshcbrown.tngl.sh submitted #2
diff interdiff
1 commit
expand
aaefce74
reorganise atom defns
merge conflicts detected
expand
  • src/AtomDef.res:1
  • src/HOTerm.res:6
  • src/SExp.res:150
  • src/SExpView.res:55
  • src/Scratch.res:42
  • src/StringA.res:3
  • src/StringA.resi:1
  • src/StringAxiomSet.res:2
  • src/Symbolic.res:1
  • src/Symbolic.resi:1
  • tests/HOTermTest.res:3
  • tests/RuleTest.res:31
expand 0 comments
joshcbrown.tngl.sh submitted #1
diff
1 commit
expand
8933d84f
reorganise atom defns
expand 0 comments
joshcbrown.tngl.sh submitted #0
diff
1 commit
expand
8933d84f
reorganise atom defns
expand 0 comments