view paste/paste.14440 @ 3903:0f6dc05fb0d4

<boily> echo -e "#!/usr/bin/env python\\n# -*- encoding: utf-8 -*-\\nimport sys\\nimport unicodedata\\ntry:\\n print u\'\'.join(map(unicodedata.lookup, sys.argv[1:])).encode(\'utf-8\')\\nexcept KeyError:\\n print u\'\xc3\x9a\xc5\x84\xe1\xb8\xb1\xc5\x84\xc3\xb3\xe1\xba\x83\xc5\x84 \xc4\x87h\xcc\x81\xc3\xa1\xc5\x95\xc3\xa1\xc4\x87t\xcc\x81\xc3\xa9\xc5\x95.\'" >bin/unicode
author HackBot
date Fri, 11 Oct 2013 15:24:35 +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.