Search results

• Dmenu-4.0-xft.diff
  diff -r cdaa1062e534 config.h diff -r cdaa1062e534 config.mk
  7 KB (986 words) - 15:19, 6 February 2021
• Benchmarks Game/Parallel/BinaryTrees
  check (Node i l r) = i + check l - check r check (Node i l r) = i + check l - check r
  6 KB (1,055 words) - 23:27, 18 April 2020
• Xmonad/Config archive/adamvo's xmobarrc
  , Run Com "uname" ["-s","-r"] "" 36000
  2 KB (189 words) - 01:17, 9 April 2021
• 99 questions/Solutions/93
  showsEquation (l, r) = showsExprPrec 0 l . showString " = " . showsExprPrec 0 r
  5 KB (621 words) - 15:30, 8 June 2017
• 99 questions/11 to 20
  ?- remove_at(X,[a,b,c,d],2,R). R = [a,c,d]
  5 KB (839 words) - 04:58, 10 June 2023
• Concurrency demos/Zeta
  putStr $ unlines [ "Starting thread for range " ++ show r | r <- ranges ]
  4 KB (555 words) - 10:58, 22 June 2021
• Xmonad/Config archive/Gwern's xmonad.hs
  ...xK_i), raiseMaybe (runInTerm "-title Irssi" "sh -c 'screen -A -r irssi'") (title ~? "Irssi")) ...xK_r), raiseMaybe (runInTerm "-title rtorrent" "sh -c 'screen -A -r rtorrent'") (title =? "rtorrent"))
  6 KB (615 words) - 23:47, 28 November 2018
• Anagrams
  minus (lft@(CharCount c1 i1):xs) r@((CharCount c2 i2):ys) | (c1 < c2) = do rem <- xs `minus` r
  2 KB (256 words) - 15:19, 6 February 2021
• Parsing a simple imperative language
  > Right r -> r > Right r -> return r
  11 KB (1,437 words) - 00:04, 1 September 2017
• Free structure
  *** A set <math>R</math> *** A unary operation <math>- : R \to R</math>
  13 KB (2,245 words) - 15:18, 6 February 2021
• Regular expressions for XML Schema
  ...gular expressions where not applicable for this task, e.g. they used other r.e. grammars or ...ng ''w'' is a word of a given regular set (given by a regular expression ''r'')
  22 KB (3,425 words) - 22:34, 29 June 2021
• Untypechecking
  > instance AddHyp (Gamma ((T2T t) :*: hs)) r gamma > => AddHyp (Gamma hs) (t :*: r) gamma where
  20 KB (3,458 words) - 15:19, 6 February 2021
• The Fibonacci sequence
  nfibs n = let r = replicate (n-1) 0 ++ 1 : 1 : zipWith ((-).(2*)) (drop n r) r in r
  8 KB (1,150 words) - 15:41, 5 July 2022
• Programming performance
  | [[Programming performance/KrassiVanguelov R]] | R
  4 KB (638 words) - 23:08, 5 April 2021
• Euler problems/181 to 190
  -- r and a natural number k, the decimal expansion of r^k terminates if -- and only if the decimal expansion of r does.
  15 KB (2,018 words) - 01:29, 26 April 2021
• Abbot
  # <tt>chmod -R go-rwx /home/newuser</tt>
  2 KB (246 words) - 08:59, 9 June 2023
• CouchDB
  justDoc (Just (d,r,x)) = stripResult (fromJSON x) justDoc (Just (d,r,x)) = stripResult (fromJSON x)
  12 KB (1,556 words) - 15:19, 6 February 2021
• GHC.Generics
  -- Another argument, tagged with R because it is :*: M1 S NoSelector (K1 R (UserTree a))
  16 KB (2,615 words) - 20:24, 19 October 2020
• The Monad.Reader/Issue2/FunWithLinearImplicitParameters
  ...epository.readscheme.org/ftp/papers/sw2004/shan.pdf</ref>; moreover, <ref> R. Kent Dybvig, Simon Peyton-Jones, and Amr Sabry. "A Monadic Framework for -- i.e the "rest" of the computation, to a final result of type r.
  35 KB (5,673 words) - 20:05, 7 July 2015
• 99 questions/Solutions/50
  serialize (Branch l r) = [(x, '1':code) | (x, code) <- serialize r]
  5 KB (738 words) - 19:53, 18 January 2014

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)