0051531 use zoom to work around Brick`s ridiculous StateT use

~ph14nix pushed to ~ph14nix/kalina git

9c780f1 use XStateT-specific lens operators to clean up code

~ph14nix pushed to ~ph14nix/kalina git

b0d881b remove support for archlinux package due to missing dependencies

~ph14nix pushed to ~ph14nix/kalina git

51d72c9 fixup

~ph14nix pushed to ~ph14nix/kalina git

eb89d0c add freer-indexed to PKGBUILD dependency

~ph14nix pushed to ~ph14nix/kalina git

7c34982 move to indexed monads and implement automatic proof search for simple invariants

~ph14nix pushed to ~ph14nix/kalina git

dc18739 README

~ph14nix pushed to ~ph14nix/kalina git

7fe7bc4 refactor cabal file

~ph14nix pushed to ~ph14nix/kalina git

057bae1 refactor cabal file

~ph14nix pushed to ~ph14nix/kalina git

eba6f12 Fix archlinux build & remove stack build

~ph14nix pushed to ~ph14nix/kalina git

a9eb96e Add a working flake shell+pacakge definition

~ph14nix pushed to ~ph14nix/kalina git

8bff19d test

~ph14nix pushed to ~ph14nix/kalina git

a9eb96e Add a working flake shell+pacakge definition

~ph14nix pushed to ~ph14nix/kalina git

b5761f4 Allow passing nixpkgs as a parameter

~ph14nix pushed to ~ph14nix/kalina git

0178c66 Allow passing nixpkgs as a parameter

~ph14nix pushed to ~ph14nix/kalina git