Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
category-theory
foundations
synthetic-topology
wip
approx.jonprl
assert.jonprl
atoms.jonprl
choice.jonprl
computational-equality.jonprl
conats.jonprl
container.jonprl
identity-types.cfg
identity-types.jonprl
image.jonprl
list-from-union.jonprl
list.jonprl
match.jonprl
monoid.jonprl
nats.jonprl
per.cfg
per.jonprl
polymorphic-id-unique.jonprl
polynomials.jonprl
proj-equal.jonprl
resource.jonprl
squash.jonprl
subtype.jonprl
sums.jonprl
tautology.jonprl
telescopes.jonprl
test.cfg
top.jonprl
trace.jonprl
unique.jonprl
universe-levels.jonprl
yoga.jonprl