| cabal-version: 2.4 | |
| name: Squeeze | |
| version: 0.1.0.0 | |
| author: Ignat Insarov | |
| maintainer: kindaro@gmail.com | |
| library | |
| hs-source-dirs: . | |
| build-depends: base, distributive | |
| default-language: Haskell2010 |
| import qualified Data.Set as S | |
| import Data.Set (Set) | |
| import Data.Char (isLower) | |
| import Data.Ord (comparing, Down (Down)) | |
| import Data.List (sortBy, subsequences, minimumBy, maximumBy) | |
| import Control.Monad.Trans.Writer.CPS | |
| import Data.Monoid | |
| import Data.Foldable (traverse_) | |
| wordFilter :: String -> Bool |
| // Copyright (c) 2021 Francesco Mazzoli <f@mazzo.li> | |
| // | |
| // Permission to use, copy, modify, and distribute this software for any | |
| // purpose with or without fee is hereby granted, provided that the above | |
| // copyright notice and this permission notice appear in all copies. | |
| // | |
| // THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES | |
| // WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF | |
| // MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR | |
| // ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES |
| {-# OPTIONS --cubical --type-in-type #-} | |
| module Mokhov where | |
| open import Cubical.Foundations.Everything | |
| open import Cubical.Data.Sum | |
| open import Cubical.Data.Prod | |
| open import Cubical.Data.Unit | |
| record Mokhov (F : Set → Set) (G : Set → Set) (A : Set) : Set where | |
| constructor mokhov |
notacji C7+ używam jako skrótu Cmaj7
(a więc nie oznacza to C z podniesioną kwintą i septymą małą (C5+7), tylko C z septymą wielką)
d7(f-c-d) oznacza, że tak można grać prawą rękę akordu d7
(D) oznacza, że można tu zagrać D lub nie zagrać
d0 to czterodźwięk D zmniejszony (D-F-Ab-Cb)
d07 to czterodźwięk D półzmniejszony (D-F-Ab-C)
E< to trójdźwięk E zwiększony
|| oznacza początek nowego taktu
dziękuję wszystkim oryginalnym autorom, krytykom, muzom
| #include <time.h> // Robert Nystrom | |
| #include <stdio.h> // @munificentbob | |
| #include <stdlib.h> // for Ginny | |
| #define r return // 2008-2019 | |
| #define l(a, b, c, d) for (i y=a;y\ | |
| <b; y++) for (int x = c; x < d; x++) | |
| typedef int i;const i H=40;const i W | |
| =80;i m[40][80];i g(i x){r rand()%x; | |
| }void cave(i s){i w=g(10)+5;i h=g(6) | |
| +3;i t=g(W-w-2)+1;i u=g(H-h-2)+1;l(u |
| // ==UserScript== | |
| // @name Gitlab discussion helper | |
| // @version 1 | |
| // @grant none | |
| // @description This script let you toggle all discussions in Gitlab | |
| // @include https://gitlab.haskell.org/* | |
| // @run-at document-idle | |
| // @require https://ajax.googleapis.com/ajax/libs/jquery/3.3.1/jquery.min.js | |
| // ==/UserScript== |
| type | name | default | problem |
|---|---|---|---|
| Opt_WarnDuplicateExports | duplicate-exports | on | |
| Opt_WarnOverflowedLiterals | overflowed-literals | on | |
| Opt_WarnEmptyEnumerations | empty-enumerations | on | |
| Opt_WarnMissingFields | missing-fields | on | |
| Opt_WarnMissingMethods | missing-methods | on | |
| Opt_WarnOverlappingPatterns | overlapping-patterns | on |
| {-# LANGUAGE CPP #-} | |
| {-# LANGUAGE DataKinds #-} | |
| {-# LANGUAGE ExistentialQuantification #-} | |
| {-# LANGUAGE FlexibleContexts #-} | |
| {-# LANGUAGE GADTs #-} | |
| {-# LANGUAGE IncoherentInstances #-} | |
| {-# LANGUAGE RankNTypes #-} | |
| {-# LANGUAGE RoleAnnotations #-} | |
| {-# LANGUAGE ScopedTypeVariables #-} | |
| {-# LANGUAGE TypeOperators #-} |
| server = Server.make_dispatch(Server.Filter.path(["app1"]), | |
| | {~path ...} -> Resource.html("Test", <>This is application 1, with path {List.to_string(path)}</>) | |
| ) | |
| server = Server.make_dispatch(Server.Filter.path(["app2"]), | |
| | {~path ...} -> Resource.html("Test", <>This is application 2, with path {List.to_string(path)}</>) | |
| ) | |
| server = Server.simple_dispatch( | |
| | {~path ...} -> Resource.html("Test", <>No application, this is {List.to_string(path)}</>) |