bench/Make Pad 3D faster.10 years ago cbits/Make Pad 3D faster.10 years ago examples/Network scale autodiff test10 years ago src/Pattern match on SNat to remove withKnownNat9 years ago test/Add pad and crop to ad tests9 years ago .gitignoreAdd .gitignore10 years ago .travis.ymlRemove submodule handling from travis script10 years ago LICENSECleanup imports and move examples to new project10 years ago README.mdUpdate README.md9 years ago _config.ymlSet theme jekyll-theme-minimal10 years ago grenade.cabalBump hedgehog9 years ago mafiaRemove Show constraint on UpdateLayer10 years ago