Mercurial > repo

view wisdom/topology @ 7105:a7a0faf9e3e0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<b_jonas> learn Horn is the reduction system behind prolog, and also the magical body part growing on the head of unicorns.
author HackBot
date Sun, 06 Mar 2016 00:10:00 +0000
parents 94b14270f529
children
line wrap: on
line source

Topology is another name for topos theory.