Comment by trelane

I expected some sort of mini academic computer network: https://www.kanren.org/about (KAnsas REgents Network)