rsoeldner
This file contains hidden or 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
| { | |
| inputs = { | |
| nixpkgs.url = "github:NixOS/nixpkgs"; | |
| pact.url = "github:kadena-io/pact"; | |
| pact-lsp.url = "github:kadena-io/pact-lsp"; | |
| flake-utils.url = "github:numtide/flake-utils"; | |
| }; | |
| outputs = {self, nixpkgs, flake-utils, pact, pact-lsp, ...}: | |
| flake-utils.lib.eachDefaultSystem(system: { |
This file contains hidden or 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
| theory DPO | |
| imports Main | |
| begin | |
| record ('v,'e,'l,'m) graph = | |
| nodes :: "'v set" | |
| edges :: "'e set" | |
| src :: "'e ⇒ 'v" | |
| trg :: "'e ⇒ 'v" |
rsoeldner
/ default.nix
Created
June 29, 2020 05:15
This file contains hidden or 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
| ((import ./reflex) { }).project ({ pkgs, ... }: { | |
| useWarp = true; | |
| packages = { | |
| common = ./common; | |
| backend = ./backend; | |
| frontend = ./frontend; | |
| utils = ./utils; | |
| animl = ./animl; | |
| animl-signature = ./animl-signature; | |
| }; |
rsoeldner
/ animl-signature.cabal
Created
June 28, 2020 16:54
This file contains hidden or 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
| cabal-version: >=1.10 | |
| -- Initial package description 'animl-signature.cabal' generated by 'cabal | |
| -- init'. For further documentation, see | |
| -- http://haskell.org/cabal/users-guide/ | |
| name: animl-signature | |
| version: 0.1.0.0 | |
| build-type: Simple | |
| extra-source-files: CHANGELOG.md |
This file contains hidden or 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
| Run 'cabal update' to get the latest list of available packages. | |
| Resolving dependencies... | |
| cabal: Could not resolve dependencies: | |
| [__0] trying: animl-0.1.0.0 (user goal) | |
| [__1] trying: xsd-0.5.0.1 (dependency of animl) | |
| [__2] next goal: xsd:setup.Cabal (dependency of xsd) | |
| [__2] rejecting: xsd:setup.Cabal-2.4.0.1/installed-2.4... (conflict: xsd => | |
| xsd:setup.Cabal>=1.10 && <1.25) | |
| [__2] rejecting: xsd:setup.Cabal-3.2.0.0 (constraint from maximum version of | |
| Cabal used by Setup.hs requires <3.2) |
rsoeldner
/ autoincrementvalueset.xml
Created
May 9, 2020 19:29
This file contains hidden or 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
| <Series name="" seriesID="" seriesType="Int32" dependency="dependent"> | |
| <AutoIncrementedValueSet> | |
| <StartValue> | |
| <D>3</D> | |
| </StartValue> | |
| <Increment> | |
| <D>1</D> | |
| </Increment> | |
| </AutoIncrementedValueSet> | |
| <AutoIncrementedValueSet> |
rsoeldner
/ gist:74271d0b109afa4229cb3754f1b25b7b
Created
March 18, 2020 12:40
This file contains hidden or 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
| cabal v2-build test | |
| Build profile: -w ghc-8.6.5 -O1 | |
| In order, the following will be built (use -v for more details): | |
| - grenade-0.1.0 (test:test) (first run) | |
| Preprocessing test suite 'test' for grenade-0.1.0.. | |
| Building test suite 'test' for grenade-0.1.0.. | |
| [ 4 of 15] Compiling Test.Grenade.Layers.Pooling ( test/Test/Grenade/Layers/Pooling.hs, /home/rsoeldner/work/grenade/dist-newstyle/build/x86_64-linux/ghc-8.6.5/grenade-0.1.0/t/test/build/test/test-tmp/Test/Grenade/Layers/Pooling.o ) | |
| <command line>: can't load .so/.DLL for: /home/rsoeldner/.cabal/store/ghc-8.6.5/hmatrix-0.20.0.0-6ceab31a4d2fec1cb3f54cd5955b7af90358333ace2674603e7c69a36c7863e9/lib/libHShmatrix-0.20.0.0-6ceab31a4d2fec1cb3f54cd5955b7af90358333ace2674603e7c69a36c7863e9-ghc8.6.5.so (/home/rsoeldner/.cabal/store/ghc-8.6.5/hmatrix-0.20.0.0-6ceab31a4d2fec1cb3f54cd5955b7af90358333ace2674603e7c69a36c7863e9/lib/libHShmatrix-0.20.0.0-6ceab31a4d2fec1cb3f54cd5955b7af90358333ace2674603e7c69a36c7863e9-ghc8.6.5.so: undefined symbol: zherk_) |
This file contains hidden or 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
| getFeature = deep (isElem >>> hasName "Feature" >>> getChildren) >>> | |
| proc root -> do | |
| identifier <- isElem >> hasName "Identifier" >>> getChildren >>> getText -< root | |
| displayName <- isElem >> hasName "DisplayName" >>> getChildren >>> getText -< root | |
| returnA Feature{..} | |
This file contains hidden or 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 Frame = Frame | |
| { startFrame :: !UTCTime | |
| , endFrame :: !UTCTime | |
| } deriving Show | |
| find :: NominalDiffTime -> P.Pipe UTCTime Frame IO () | |
| find tresh = go Nothing Nothing | |
| where | |
| go Nothing Nothing = P.await >>= \s -> go (Just s) (Just s) |