My recipe for setting up Xmonad on Ubuntu GNU/Linux is here.
What is xmonad? Read this page to learn.
Some of these instructions were adapted from the Source Matters Blog. But I also depart from those instructions in certain ways.
Require Import Coq.Lists.List. | |
Lemma rev_Unfold : forall {A:Type} (l:list A) (a:A), rev (a::l) = rev l ++ (cons a nil). | |
Proof. | |
intros. | |
simpl. | |
reflexivity. | |
Qed. | |
Theorem rev_Involutive : forall {A:Type} (l:list A), rev (rev l) = l. |
/* | |
* Parallel bitonic sort using CUDA. | |
* Compile with | |
* nvcc -arch=sm_11 bitonic_sort.cu | |
* Based on http://www.tools-of-computing.com/tc/CS/Sorts/bitonic_sort.htm | |
* License: BSD 3 | |
*/ | |
#include <stdlib.h> | |
#include <stdio.h> |
module Categories.Agda.State where | |
open import Categories.Category | |
open import Categories.Agda | |
open import Categories.Agda.Product | |
open import Categories.Functor hiding (_≡_) | |
open import Categories.Functor.Product | |
open import Categories.Functor.Hom | |
open import Categories.Monad | |
open import Categories.Adjunction |
{-# LANGUAGE NoMonomorphismRestriction #-} | |
{-# LANGUAGE UnicodeSyntax #-} | |
import Data.Colour | |
import Diagrams.Prelude | |
import Diagrams.Backend.Cairo.CmdLine | |
import Graphics.Rendering.Diagrams.Points | |
main ∷ IO () |
My recipe for setting up Xmonad on Ubuntu GNU/Linux is here.
What is xmonad? Read this page to learn.
Some of these instructions were adapted from the Source Matters Blog. But I also depart from those instructions in certain ways.
module Grothendieck where | |
open import Level using (_⊔_) | |
open import Function | |
open import Algebra | |
open import Algebra.Structures | |
open import Data.Product | |
import Relation.Binary.EqReasoning as EqReasoning | |
class Dependency | |
attr_accessor :Name, :Version | |
def initialize(name, version) | |
@Name = name | |
@Version = version | |
end | |
end |
ghc -i -static -optl-static -optl-pthread -funbox-strict-fields -fwarn-incomplete-patterns -isrc --make Program.hs |
val t1 = only_capitals [] = [] | |
val t2 = only_capitals ["hello", "bye"] = [] | |
val t3 = only_capitals ["Anal", "hello", "bye"] = ["Anal"] | |
val t4 = only_capitals ["hello", "Pemis", "bye"] = ["Pemis"] | |
val t5 = only_capitals ["hello", "bye", "Eblo"] = ["Eblo"] | |
val t6 = longest_string1 [] = "" | |
val t7 = longest_string1 ["pemis"] = "pemis" | |
val t8 = longest_string1 ["pemis", "hello"] = "pemis" | |
val t9 = longest_string1 ["eblo", "hello"] = "hello" |