Nananet Disco calculus