joshcbrown.tngl.sh / holbert-ng
forked from liamoc.net/holbert-ng
the next generation of the in-browser educational proof assistant
0
fork

Configure Feed

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

functorise StringAxiomSet #3

open opened by
joshcbrown.tngl.sh targeting main from atom-combine-cleanup

With the definition of a choice of atom now admitting a homogeneous representation, we no longer need to make assumptions about the order arguments are applied to CombineAtom in StringAxiomSet, so can make it a functor.

Labels

None yet.

assignee

None yet.

Participants 1
AT URI
at://did:plc:2b3sedxepcp6u7s2najxr2zm/sh.tangled.repo.pull/3mizysx7fw522
Diff #0

No differences found between the selected revisions.

History

1 round 0 comments
sign up or login to add to the discussion
joshcbrown.tngl.sh submitted #0
patch application failed: error: No valid patches in input (allow with "--allow-empty")
expand 0 comments