Cardano Updates

proper notes

Get rid of TypedTx; minor changes

generate fresh names for pretty printing

Fix playground examples

nothing changes

Stylish Haskell

Delete an unused import

Update docs.

Fix a comment

Revert changes to Interval.hs

Address some more review comments

valueMoved -> valueSpent; move & update a note.

Fix a typo.

Change state to (state, Value)

Fix bench.hs

more stylish

one last stylish change

note linking

• more notes - warning

more TH, less code

stylish haskell

working except that no warnings are found

Fix merge

Fix marlowe

tweak to the cabal file for test2

reinstate profiling settings

remove Algorithmic.Equality from cabal modules

update plc-agda.nix

commented out some stuff that I think is was needed for sizes

Merge branch ‘master’ of https://github.com/jmchapman/plutus

Merge pull request #1 from michaelpj/fix/agda-bump

Agda 2.6.0 -> 2.6.0.1, agda-stdlib 1.0.1 -> 1.2

Agda 2.6.0 -> 2.6.0.1, agda-stdlib 1.0.1 -> 1.2

Merge pull request #1793 from michaelpj/imp/extract-plugin

plutus-tx: split out plutus-tx-plugin

Fix source repo packages

Merge branch ‘master’ of https://github.com/input-output-hk/plutus

Feedback + tests

Feedback + tests

Feedback + tests

generate names that are de Bruijn indices for debugging

added a function to convert from scoped terms to raw de Bruijn terms

a converter from production style de Bruijn indices to metatheory style

everything working but can’t find solutions

everything working but can’t find solutions

Merge pull request #1794 from input-output-hk/anemish/depositless

Remove initial deposit for contract creation.

Reduce number of max inputs per transaction to 1 in symbolic execution (#1782)

Merge pull request #1783 from michaelpj/imp/big-lambdas-compute

plutus-core: remove the value restriction in favour of big-lambdas computing

Add source-repository-packages needed for ghcjs

Add source-repository-packages needed for ghcjs

executable

make all tests pass