Created
September 11, 2013 15:38
-
-
Save mathink/6525378 to your computer and use it in GitHub Desktop.
ユニバァァァス!!
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Check (1: nat: Set: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type: Type). |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment