Skip to content

Instantly share code, notes, and snippets.

Avatar

Ingo Blechschmidt iblech

View GitHub Profile
@tomstuart
tomstuart / gist:1466504
Created Dec 12, 2011
FizzBuzz in the lambda calculus in Ruby
View gist:1466504
>> IF = -> b { b }
=> #<Proc:0x007fb4e4049cc8 (lambda)>
>> LEFT = -> p { p[-> x { -> y { x } } ] }
=> #<Proc:0x007fb4e403d680 (lambda)>
>> RIGHT = -> p { p[-> x { -> y { y } } ] }
=> #<Proc:0x007fb4e4028ff0 (lambda)>
>> IS_EMPTY = LEFT
@copumpkin
copumpkin / Prime.agda
Last active May 17, 2020
There are infinite primes
View Prime.agda
module Prime where
open import Coinduction
open import Data.Empty
open import Data.Nat
open import Data.Nat.Properties
open import Data.Nat.Divisibility
open import Data.Fin hiding (pred; _+_; _<_; _≤_; compare)
open import Data.Fin.Props hiding (_≟_)
@jmoy
jmoy / thin-film.ipynb
Last active Nov 18, 2018
Why soap bubbles are colorful and windowpanes are not
View thin-film.ipynb
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.