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.

STACK 3
#2 add atom prelude functionality
0
#1
#1 initial associative-commutative atom definition
0
#1
#3 reorganise atom defns
0
#1
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

2 rounds 0 comments
sign up or login to add to the discussion
joshcbrown.tngl.sh submitted #1
diff
1 commit
expand
8933d84f
reorganise atom defns
no conflicts, ready to merge
expand 0 comments
joshcbrown.tngl.sh submitted #0
diff
1 commit
expand
8933d84f
reorganise atom defns
expand 0 comments