Skip to content

Instantly share code, notes, and snippets.

View kammitama5's full-sized avatar
🇹🇹
Research: Number Theory + Alg Graph Theory in Quantum / 😴. Also Lean learner

kammitama5

🇹🇹
Research: Number Theory + Alg Graph Theory in Quantum / 😴. Also Lean learner
View GitHub Profile
@folone
folone / hello-ski.hs
Created August 27, 2012 08:16 — forked from shangaslammi/hello-ski.hs
Hello World using Applicative instance for ((->) r) as a computational basis
$ ghci
GHCi, version 7.4.2: http://www.haskell.org/ghc/ :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Prelude> :l hello-ski.hs
[1 of 1] Compiling Main ( hello-ski.hs, interpreted )
Ok, modules loaded: Main.
*Main> main
Hello world!