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.

move to list-based combine atom functor rather than sum tree #1

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

This significantly tidies the representation of a choice of atom by folding the previous Left, Right, and Foreign constructors into a single anyValue.

Labels

None yet.

assignee

None yet.

Participants 1
AT URI
at://did:plc:2b3sedxepcp6u7s2najxr2zm/sh.tangled.repo.pull/3mizysx7ftn22
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