annotate paste/paste.14440 @ 10589:b2c9e2bbddcb
<oerjan> le/rn esoteric files archive//The Esoteric Files Archive is now available at https://github.com/graue/esofiles
author |
HackBot |
date |
Sat, 08 Apr 2017 05:22:29 +0000 |
parents |
e037173e0012 |
children |
|
rev |
line source |
0
|
1 2010-03-12.txt:22:28:45: <lament> c++ kinda makes me sad for humanity
|
|
2 2011-10-30.txt:02:12:04: <CakeProphet> do C++ templates make C++ kind of sort of dependently typed?
|
|
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.
|