Mercurial > repo
view paste/paste.14440 @ 2012:c4f83ae4e77e
<olsner> addquote <fungot> but when she saw him fnord and fnord. and then there\'s the fnord, as well as fnord reading sauce with fish, or fnord, that alice quite fnord for it hadn\'t spoken before.
author | HackBot |
---|---|
date | Tue, 05 Feb 2013 23:27:58 +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.