谢宇恒 / Xie Yuheng xieyuheng
xieyuheng
/ Bin.i
Created
September 21, 2023 16:18
— forked from bojidar-bg/Bin.i
Binary type with addition and multiplication for interaction nets, https://inet.run/playground/
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
| // Example usage: | |
| // bend b1 b1 b0 // = 0b110 = 4+2 = 6 | |
| // zero add1 add1 add1 add1 add1 add1 add1 ntob // 8 Nat -> 8 Bin | |
| // bmul // = 6 * 7 = 42 | |
| // // -> takes 61 steps; doing the same with Nat mul takes 125 steps | |
| // Type defitinion | |
| type Bin -- @Type end | |
| node bend |
xieyuheng
/ pokedex_ascii.h
Created
May 19, 2022 17:50
— forked from MatheusFaria/pokedex_ascii.h
151 Pokemon ASCII Art
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
| /** | |
| * The ASCII arts were extracted from: | |
| * - http://www.fiikus.net/?pokedex | |
| * - http://www.world-of-nintendo.com/pictures/text/ | |
| * And also generated with: | |
| * - http://www.text-image.com | |
| */ | |
| #ifndef __POKE_IMG__ | |
| #define __POKE_IMG__ |