seisvelas

#include <stdlib.h>

int main(void) {
	int edi = 5; // nth fib num
	int ebx = 0;
	int eax = 1;
	int edx; // tmp

	start_loop:
	--edi;

Gabriella439

    let Version = ∀(Version : Type) → ∀(v : Text → Version) → Version

in  let VersionRange =
            ∀(VersionRange : Type)
          → ∀(anyVersion : VersionRange)
          → ∀(noVersion : VersionRange)
          → ∀(thisVersion : Version → VersionRange)
          → ∀(notThisVersion : Version → VersionRange)
          → ∀(laterVersion : Version → VersionRange)
          → ∀(earlierVersion : Version → VersionRange)

tubaterry

# Don't forget to set COMPLETION_WAITING_DOTS=false in your .zshrc - it doesn't always play nice with multiline prompts

# Troubleshooting breadcrumbs:
# Prompt design: http://zsh.sourceforge.net/Doc/Release/Prompt-Expansion.html#Prompt-Expansion
# Zsh Line Editor (zle): http://zsh.sourceforge.net/Doc/Release/Zsh-Line-Editor.html

#Broken down into its component pieces because I was tired of looking at a nearly incomprehensible string
FG_USER_BADGE=$'%{$fg_bold[green]%}%n@%m%{$reset_color%}'
FG_TIMESTAMP=$'%{$fg[blue]%}%D{[%X]}%{$reset_color%}'
FG_CWD_DISPLAY=$'%{$fg[white]%}[%~]%{$reset_color%}'

YoEight

data Cofree f a = a :< (f (Cofree f a))

-- Fix point
newtype Mu f = Mu { unMu :: f (Mu f) }

extract :: Cofree f a -> a
extract (a :< _) = a

-- catamorphism
cata :: Functor f => (f b -> b) -> Mu f -> b

yanofsky

This is free and unencumbered software released into the public domain.

Anyone is free to copy, modify, publish, use, compile, sell, or
distribute this software, either in source code form or as a compiled
binary, for any purpose, commercial or non-commercial, and by any
means.

In jurisdictions that recognize copyright laws, the author or authors
of this software dedicate any and all copyright interest in the
software to the public domain. We make this dedication for the benefit