view paste/paste.14440 @ 5967:9f67418e5043

<b_jonas> ` f=bin/w\xc3\xa4lc\xc3\xa5m\xc3\xa4; >"$f" echo $\'/bin/sh\\nwelcome | sed "s/E/\xc3\x84/g;s/O/\xc3\x85/g;s/e/\xc3\xa4/g;s/o/\xc3\xa5/g"\'; chmod a+x "$f"
author HackBot
date Thu, 10 Sep 2015 11:15:33 +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.