Skip to content
View algebra.v
Require Import Coq.Setoids.Setoid.
(** * Magmas *)
Module Type magma.
(** Type of elements *)
Variable elt : Type.
(** The structure's binary operation *)
Variable op : elt -> elt -> elt.
Infix "*" := op (left associativity, at level 40).
View .block
license: gpl-3.0
View Lambda.hs
{-# LANGUAGE GADTs #-}
{-# LANGUAGE StandaloneDeriving #-}
module Lambda ( Term
, open
, varOpen
, varClose
, betaReduce
, subst
, freeVars
View LOESS-LICENCE
Copyright (c) 2011, Jason Davies
All rights reserved.
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions are met:
* Redistributions of source code must retain the above copyright notice, this
list of conditions and the following disclaimer.
* Redistributions in binary form must reproduce the above copyright notice,
View gist:8470b866936e073ca32f
  1. Vlach, M.: Základní numerické metody (1971)
  2. Kohout, V.: Diferenciální geometrie (1971)
  3. Havrda, J.: Matematické programování (1972?)
  4. Kufner, A.: Geometrie Hilbertova prostoru (1973, 1975?)
  5. Beran, L.: Grupy a svazy (1974)
  6. Vlach, M.: Optimální řízení regulovatelných systémů (1975?)
  7. Ježek, J.: Univerzální algebra a teorie modelů (1976?)
  8. ???
  9. Boček, L.: Tenzorový počet (1976)
  10. Pondělíček, B.: Algebraické struktury s binárními operacemi (1977)
View gist:1b208be1b7c775982b55
(set-option :produce-proofs true)
(declare-datatypes ()
((Pair (mk-pair (row Int) (col Int)))))
; Definice relace:
; X a Y nesedí ve stejné řadě, nebo nejsou hned vedle sebe"
; nebo "Y sedí jednu řadu před X (tj. není mezi nimi další řada)".
(define-fun rel ((x Pair) (y Pair)) Bool
(or (not (= (row x) (row y)))
View respekt-prepare.sh
for %i in (input/*.mp3) do @ffmpeg -i "input/%i" -filter:a "atempo=1.33" -vn "%i"
View StringMap.js
// Copyright (C) 2011 Google Inc.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
View xmonad.hs
-- vim: expandtab shiftwidth=4 tabstop=4 :
-- Based on <https://gist.github.com/yeban/311016>
-- Some potential inspiration for the future:
-- <https://github.com/dmxt/Solarized-xmonad-xmobar/blob/master/xmonad.hs>
-- <https://www.haskell.org/haskellwiki/Xmonad/General_xmonad.hs_config_tips>
import XMonad
import qualified Data.Map as M
import qualified XMonad.StackSet as W
View fibonacci.hs
psi = (1 + sqrt 5) / 2
fib :: Integral a => a -> a
fib = round . (/ sqrt 5) . (psi ^)
Something went wrong with that request. Please try again.