annotate paste/paste.14440 @ 7910:7d5f1c5e44b1

<moon__> mkx bin/hfs//erro You have discovered an eerie caven. The air above the dark stone floor is alive with vorices of purple light and dark, boiling clouds. Seemingly bottomless glowing pit mark the surface.
author HackBot
date Sat, 07 May 2016 00:41:47 +0000
parents e037173e0012
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
e037173e0012 Initial import.
HackBot
parents:
diff changeset
1 2010-03-12.txt:22:28:45: <lament> c++ kinda makes me sad for humanity
e037173e0012 Initial import.
HackBot
parents:
diff changeset
2 2011-10-30.txt:02:12:04: <CakeProphet> do C++ templates make C++ kind of sort of dependently typed?
e037173e0012 Initial import.
HackBot
parents:
diff changeset
3 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.