Upload a new image (PNG or JPEG, max 5MB) or remove your current avatar.

joshcbrown.tngl.sh

0 followers 0 following

Vouch for

PUNCHCARD 0 commits

PINNED REPOS
holbert-ng
the next generation of the in-browser educational proof assistant
ReScript
3

ACTIVITY

1 month ago

created 1 repository
holbert-ng
ReScript
created 10 pull requests
10 open
#6
clean ATOM/BASE_ATOM signature on liamoc.net/holbert-ng
#7
functorise StringAxiomSet on liamoc.net/holbert-ng
#5
move to list-based combine atom functor rather than sum tree on liamoc.net/holbert-ng
#1
move to list-based combine atom functor rather than sum tree on joshcbrown.tngl.sh/holbert-ng
#2
clean ATOM/BASE_ATOM signature on joshcbrown.tngl.sh/holbert-ng
#3
functorise StringAxiomSet on joshcbrown.tngl.sh/holbert-ng
#4
port github CI to tangled on liamoc.net/holbert-ng
#1
initial associative-commutative atom definition on liamoc.net/holbert-ng
#2
add atom prelude functionality on liamoc.net/holbert-ng
#3
reorganise atom defns on liamoc.net/holbert-ng