{"header":{"message":"Move definitions to test","description":null,"timestamp":"2024-04-21T14:12:27Z","authors":[{"email":"noiioiu@cocaine.ninja","name":"noiioiu"}]},"hash":"KARMFRM7OJF6RDDAVRISRV223RS6AWE6BG33QMFJ4GYLQFZYL56QC","authors":[],"deps":{"hashes":[["KARMFRM7OJF6RDDAVRISRV223RS6AWE6BG33QMFJ4GYLQFZYL56QC","Move definitions to test"],["AA",null],["PMF36FUOINXVVNP5XW6ZOFPPWFBRK62O4VCX45NE4Y4GDPL2Z3BQC","Represent nimbers as natural numbers instead of sets of sets"],["VRPOSMITS7VRSIJU6YNEBELCUBTHPMPJD6F6F5PE35R2KECS42KAC","Initial commit"],["V7A5CRSQQY3WTZFNH73E6J4YOKE7YJMEW2XW7YJTM37UNTWRMZJQC","Add Fractional instance and test"],["VG2W2CCBAB7KY4FSDKB4ZLBRYO763USFRDHUOA3GQOTVNS6XQLSAC","Add test for involutivity"]],"deps":["PMF36FUOINXVVNP5XW6ZOFPPWFBRK62O4VCX45NE4Y4GDPL2Z3BQC"],"known":[]},"hunks":[{"Edit":{"inode":{"change":4,"pos":22},"path":"test/Main.hs","line":5,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":35}],"down_context":[{"change":5,"pos":2}],"flag":"BLOCK","start":2,"end":44,"inode":{"change":4,"pos":22}}},"contents":[{"Add":"{-# OPTIONS_GHC -Wno-unused-top-binds #-}"}]}},{"Edit":{"inode":{"change":4,"pos":22},"path":"test/Main.hs","line":41,"atom":{"NewVertex":{"up_context":[{"change":6,"pos":98}],"down_context":[{"change":2,"pos":124}],"flag":"BLOCK","start":45,"end":688,"inode":{"change":4,"pos":22}}},"contents":[{"Add":""},{"Add":"mex :: (Functor f, Foldable f, Eq b, Num b, Num a) => f b -> a"},{"Add":"mex s = if 0 `notElem` s then 0 else 1 + mex (fmap (+ (-1)) s)"},{"Add":""},{"Add":"-- | Compute nimber sum directly from the definition. This is very slow."},{"Add":"nimberAdd :: Int -> Int -> Int"},{"Add":"nimberAdd = (!!) . (nimberSumTable !!)"},{"Add":""},{"Add":"nimberSumTable :: [[Int]]"},{"Add":"nimberSumTable = fmap add <$> [(i,) <$> [0 ..] | i <- [0 ..]]"},{"Add":" where"},{"Add":" add (a, b) = mex $ [nimberSumTable !! a' !! b | a' <- [0 .. a - 1]] ++ [nimberSumTable !! a !! b' | b' <- [0 .. b - 1]]"},{"Add":""},{"Add":"-- | Compute nimber product directly from the definition. This is very slow."},{"Add":"nimberMul :: Int -> Int -> Int"},{"Add":"nimberMul = (!!) . (nimberProdTable !!)"}]}},{"Edit":{"inode":{"change":4,"pos":22},"path":"test/Main.hs","line":58,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":125}],"down_context":[{"change":2,"pos":125}],"flag":"BLOCK","start":689,"end":966,"inode":{"change":4,"pos":22}}},"contents":[{"Add":"nimberProdTable :: [[Int]]"},{"Add":"nimberProdTable = fmap mul <$> [(i,) <$> [0 ..] | i <- [0 ..]]"},{"Add":" where"},{"Add":" mul (a, b) = mex $ [(nimberProdTable !! a' !! b) `nimberAdd` (nimberProdTable !! a !! b') `nimberAdd` (nimberProdTable !! a' !! b') | a' <- [0 .. a - 1], b' <- [0 .. b - 1]]"},{"Add":""}]}}],"owner":"noiioiu","repo":"nimbers","token":"r4G/6R5MAWaFm2uWKKUi2nnUcobVtBzf++49fC7zXqU=","login":null}

…

Dependencies

Change contents