Mercurial > repo

view paste/paste.14440 @ 11317:16da968350f1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<zzo38> slashlearn cricket//Cricket is one team is in and one team is out, and the team who are out try to get the team who is in to be out, and then the team who was previously out can be in. Whoever earn more points wins, unless you run out of time, in which case nobody wins.
author HackBot
date Sun, 14 Jan 2018 03:44:32 +0000
parents e037173e0012
children
line wrap: on
line source

2010-03-12.txt:22:28:45: <lament> c++ kinda makes me sad for humanity
2011-10-30.txt:02:12:04: <CakeProphet> do C++ templates make C++ kind of sort of dependently typed?
2012-01-30.txt:01:46:38: <zzo38> Another kind I have proposed is the + kind; types of that kind are natural numbers and can be used anywhere that a * kind type is expected, but not the other way around. If a type of kind * is expected and a type of kind + is used, it is the type with that many values.