-
Napisz funkcję
triads :: Int -> [(Int,Int,Int)]
, ktora da liste trojek pitagorejskich ($x^2 + y^2 = z^2$ dla x,y,z <= n)W pierwszym podejsciu dostaniemy np.
*Main> filter pyth $ triples 20 [(3,4,5),(4,3,5),(5,12,13),(6,8,10),(8,6,10),(8,15,17), (9,12,15),(12,5,13),(12,9,15),(12,16,20),(15,8,17),(16,12,20)]
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
FROM continuumio/miniconda3 | |
RUN conda create -n golem-rdkit-env \ | |
&& conda install --yes --freeze-installed -c rdkit -n golem-rdkit-env rdkit=2019.09.1 \ | |
&& conda clean -afy | |
RUN echo "source activate golem-rdkit-env" > ~/.bashrc |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
ag '( *)@rpc(.*)(\n\W*@.*)*\W*def\W+\w+(\((?U)([^)])*\))((?U).*):' |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
data Coord = C Integer Integer | |
data Direction = R | U | L | D | |
data World = W Coord Direction Maze | |
handleEvent :: Event -> World -> World | |
handleEvent (KeyPress key) (W pos direction maze) = W pos'' dir'' maze where | |
maybeDir = keyToDir key | |
(pos', dir'') | |
| Just dir' <- maybeDir = (moveCoordDir dir' pos, dir') | |
| otherwise = (pos, direction) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[blocked] The page at https://googledrive.com/host/0B_dutxUROZMvUjF0MU9wODJqeU0/index.html ran insecure content from http://fonts.googleapis.com/css?family=Asap:400,700,400italic,700italic. | |
index.html:10 | |
[blocked] The page at https://googledrive.com/host/0B_dutxUROZMvUjF0MU9wODJqeU0/index.html ran insecure content from http://fonts.googleapis.com/css?family=Lily+Script+One. | |
index.html:11 | |
The page at https://googledrive.com/host/0B_dutxUROZMvUjF0MU9wODJqeU0/index.html displayed insecure content from http://c1.glitch.bz/misc/2012-11-06/loading.mp3. | |
index.html:1 | |
[Year 31, 10, 38, 3, 11, 59] index.js:776 | |
Resource interpreted as Font but transferred with MIME type font/woff: "https://themes.googleusercontent.com/static/fonts/nunito/v4/TttUCfJ272GBgSKaOaD7Kj8E0i7KZn-EPnyo3HZu7kw.woff". | |
Resource interpreted as Font but transferred with MIME type font/woff: "https://themes.googleusercontent.com/static/fonts/nunito/v4/0rdItLTcOd8TSMl72RUU5w.woff". | |
Resource interpreted as Font but transferred with MIME type font/wof |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[08:51:46.023] GET https://googledrive.com/host/0B_dutxUROZMvUjF0MU9wODJqeU0/index.html [HTTP/1.1 304 Not Modified 460ms] | |
[08:51:46.458] Use of getUserData() or setUserData() is deprecated. Use WeakMap or element.dataset instead. @ resource://gre/modules/XPIProvider.jsm -> jar:file:///home/ben/.mozilla/firefox/hgdms7e0.default/extensions/%7Bd10d0bf8-f5b5-c8b4-a8b2-2b9879e08c5d%7D.xpi!/bootstrap.js -> jar:file:///home/ben/.mozilla/firefox/hgdms7e0.default/extensions/%7Bd10d0bf8-f5b5-c8b4-a8b2-2b9879e08c5d%7D.xpi!/lib/requestNotifier.js:64 | |
[08:51:46.458] Blocked loading mixed active content "http://fonts.googleapis.com/css?family=Asap:400,700,400italic,700italic" @ https://googledrive.com/host/0B_dutxUROZMvUjF0MU9wODJqeU0/index.html | |
[08:51:46.460] Blocked loading mixed active content "http://fonts.googleapis.com/css?family=Lily+Script+One" @ https://googledrive.com/host/0B_dutxUROZMvUjF0MU9wODJqeU0/index.html | |
[08:51:46.540] GET https://fonts.googleapis.com/css?family=Nunito:400,700,300 [HTTP/1.1 200 OK 38ms] | |
[ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-- McBride,McKinna "I am not a number" | |
module Nonum where | |
infixl 9 :$ | |
infixr 6 :-> | |
type Name = String -- FIXME | |
data Expr = F Name -- Free | |
| B Int -- Bound | |
| Expr :$ Expr |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
;; Based on http://tex.stackexchange.com/questions/29813/setup-synctex-with-emacs/49840#49840 | |
;; replacing setf with setq | |
;; Use Evince as default viewer C-c C-v | |
(setq TeX-view-program-list '(("Evince" "evince %o")) | |
TeX-view-program-selection '((output-pdf "Evince"))) | |
;;; Backward search Evince to AUCTeX adapted from http://www.emacswiki.org/emacs/AUCTeX#toc19 | |
(add-hook 'LaTeX-mode-hook 'TeX-source-correlate-mode) | |
(setq TeX-source-correlate-start-server t); Automatically start server without asking |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
soczewki | |
"soczewki kontaktowe" | |
[szkła kontaktowe] | |
[soczewki kontaktowe] | |
[szkla kontaktowe] | |
tanie soczewki | |
najtańsze soczewki | |
"soczewki" | |
[soczewki] | |
[kontaktowe] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
formulas(sos). | |
% data nat = z | s nat | |
nat(cz). | |
-nat(x) | nat(cs(x)). | |
plus(cz,x) = x. | |
plus(cs(x),y) = cs(plus(x,y)). | |
end_of_list. | |
formulas(goals). | |
% T(n) ≡ ∀ n :: nat.plus(n,zero) = plus(zero,n) |
NewerOlder