Release for agda 2.6.4.1 (#1083)

* remove 'suggested' heap size from RTS options in makefile

The suggested heap size also seems to set a maximum.
I don't why we have a suggested heap size anyway, so I just removed that, since make failed with agda 2.6.4.1, compiled with ghc 9.8.1.

* incease agda version, see if it fails

* see if there even is a ci-problem with the makefile

* remove 'suggested' heap size from RTS options in makefile

The suggested heap size also seems to set a maximum.
I don't why we have a suggested heap size anyway, so I just removed that, since make failed with agda 2.6.4.1, compiled with ghc 9.8.1.

* incease agda version, see if it fails

* see if there even is a ci-problem with the makefile

* switch the heap suggestions off again

* README: update version table

* update version everywhere to 0.7

* nix: Update flake inputs

* fix

* add default max heap size

* set release date to today

* set release date to today

---------

Co-authored-by: Philipp Joram <[email protected]>

Release v0.6 for agda 2.6.4 (#1050)

* update some call following agda's warning

* bump versions everywhere

* bump versions everywhere

* nix: flake update

* README: more working agda-versions

* deactivate ci-nix

* update release date

---------

Co-authored-by: Naïm Favier <[email protected]>

Remove whitespace

Add Nix flakes (#800)

* added nix flake files

* added nix installation

* added install

* added default.nix

* added installPhase

* Renamed Build to Nix

* changed cubical derivation

* added FinWeak

* added more indentation

* removed useless {n}

* added more indentation

* added agdaWithCubical in flake.nix

* removed unnecessary FinWeak

* added nix flake in install.md

* changed CI to master

* changed name to nix flakes instructions

* improved nix flakes

* nixpkgs is referred to nixos-22.05

* changed defaultPackage to default

* updated flake.nix

* added install.md instruction

* updated nix flakes

* changed to flake-compat

Update contributing guidelines wrt flags (#584)

* update guidelines

* oops

Added construction of M-types from Signatures/Containers (#245)

* Added construction of M-types from Signatures/Containers

* Added files

* No longer 'Unresolved Metas', but some postulates

* Removed trailing whitespace

* Fixed name collision

* Making progress on postulates

* Making progress on postulates

* removed whitespace

* Trying to fix computation problems

* Reduced shift definition, to pure iso's

* Fixed naming collsion (again...)

* Fixed naming collision (again...)

* Updated files to use iso more, and made proofs more readable

* Update

* Removed whitespace

* Update

* Small step towards removing all postulates.

* Update

* Finished proving lemma11-Iso

* All postulates cleared in M-types

* Pushed abstract

* Uncomment

* Working but with some 'abstract'

* Pushed abstract

* Updated to newest version of Cubical Agda

* Renamed some theorems

* Renamed some theorems

* Getting closer to removing all postulates

* Clared the last postulate for construction of M-types

* Updated folder structure

* Updated infrastructure

* Moved proofs

* Added missing files

* Working on pull request comments

* Working on pull request comments

* Working on pull request comments

* Restructure

* Restructure

* Restructure

* Updates based on PR comments

* Working on comments on PR

* Trying to simplify definition of shift

* Simplifying shift definition

* Working on PR comments

* Working on PR comments

* Working on PR comments

* Working on PR comments

* Working on PR comments

* Rename M-type to M, and moved files

version compatible with Agda-2.6.0