CatsAreFluffy

Recently created

Least recently created

Recently updated

Least recently updated

CatsAreFluffy / StlcNbE.hs

Last active March 28, 2021 02:54

Simple normalization by evaluation for the simply-typed lambda calculus

	module StlcNbE where

	data Term =
	Point
	\| Lam Term
	\| App Term Term
	\| Pair Term Term
	\| Proj1 Term
	\| Proj2 Term
	\| Var Int

CatsAreFluffy / boat.txt

Last active August 1, 2022 03:17

List of Underload numbers from 1 to 8192

	2 :*
	3 ::**
	4 ::
	5 :::*
	6 ::*:
	7 ::::
	8 :::*
	9 ::::**
	10 ::::
	11 :::::*

CatsAreFluffy / RandomLife3.rule

Created October 12, 2017 04:13

	@RULE RandomLife3

	@TREE

	num_states=4
	num_neighbors=8
	num_nodes=161
	1 0 0 0 0
	2 0 0 0 0
	1 0 1 0 1

CatsAreFluffy / save.txt

Created September 19, 2017 15:59

My antimatter dimensions save which broke

eyJtb25leSI6IjEuODk4NDUyMjc4MzA0ODQ0NGUrMTIyIiwidGlja1NwZWVkQ29zdCI6IjEuMDAwMDAwMDAwMDAwMDAwNmUrMTAyIiwidGlja3NwZWVkIjoiMC4wMDMxODk5NTQ4OTkxMDY0Njk1IiwiZmlyc3RDb3N0IjoiOS45OTk5OTk5OTk5OTk5OThlKzEwMiIsInNlY29uZENvc3QiOiIxZSsxMDIiLCJ0aGlyZENvc3QiOiI5Ljk5OTk5OTk5OTk5OTk5OGUrMTAzIiwiZm91cnRoQ29zdCI6IjEuMDAwMDAwMDAwMDAwMDAwMmUrMTAyIiwiZmlmdGhDb3N0IjoiMWUrMTA1Iiwic2l4dGhDb3N0IjoiMWUrMTAzIiwic2V2ZW50aENvc3QiOiIxLjAwMDAwMDAwMDAwMDAwMDJlKzEwMiIsImVpZ2h0Q29zdCI6IjkuOTk5OTk5OTk5OTk5OTk5ZSsxMTMiLCJmaXJzdEFtb3VudCI6IjIuNzEzNDI4OTE3NTg4NTcxNWUrMTAwIiwic2Vjb25kQW1vdW50IjoiMy40NzQ5NzIxMTE5MTA0NjhlKzgyIiwidGhpcmRBbW91bnQiOiIyLjQ0MTMxMzE5MzY4NzU4NmUrNjYiLCJmb3VydGhBbW91bnQiOiI0LjU3MzczMDEzMjA4OTE0OWUrNTEiLCJmaXJzdEJvdWdodCI6MCwic2Vjb25kQm91Z2h0IjowLCJ0aGlyZEJvdWdodCI6MCwiZm91cnRoQm91Z2h0IjowLCJmaWZ0aEFtb3VudCI6IjIuMTkzNjMxNTUzNjg2MDk0NWUrMzgiLCJzaXh0aEFtb3VudCI6IjEuMjYyNTM3MzYxNDA5OTk2NmUrMjYiLCJzZXZlbnRoQW1vdW50IjoiMzg3NTUxNzQzMTA1MTAxLjI1IiwiZWlnaHRBbW91bnQiOiI2MCIsImZpZnRoQm91Z2h0IjowLCJzaXh0aEJvdWdodCI6MCwic2V2ZW50aEJvdWdo

	2 :*
	3 ::**
	4 ::
	5 :::*
	6 ::*:
	7 ::::
	8 :::*
	9 ::::**
	10 ::::
	11 :::::*