Code

SCP-1066 reorganizing plc-agda#2254

Code

Merged

michaelpj merged 13 commits intoIntersectMBO:masterIntersectMBO/plutus:masterfrom jmchapman:masterCopy head branch name to clipboardAug 24, 2020

+788-2,445

Commits

Commits on Aug 20, 2020

• moved long lists of modules into a common stanza in plc-agda.cabal

  jmchapman

  committed
  706756d

Commits on Aug 21, 2020

• added a library to plc-agda.cabal

  Show description for ba5e8c0
  jmchapman

  committed
  ba5e8c0

• test names

  jmchapman

  committed
  1384da6

• haskell.nix fix + plc-agda.cabal updates

  jmchapman

  committed
  3cbc302

• moved library source code to src

  jmchapman

  committed
  e5290f2

• moved metatheory to plutus-metatheory

  jmchapman

  committed
  68a45eb

• renamed cabal file + package name

  jmchapman

  committed
  4f2cbc9

• restore nix/stack.materialized/plutus-metatheory.nix

  jmchapman

  committed
  42e1a17

• replaced another instance of plc-agda with plutus-metatheory

  jmchapman

  committed
  a9b9df0

Commits on Aug 24, 2020

• added agda-lib to extra-source-files

  jmchapman

  committed
  0ab1e4a

• updateMaterialized

  jmchapman

  committed
  c7e48f4

• Move agda hook to postConfig

  

  michaelpj

  authored and

  jmchapman

  committed
  6664d0f

• stylishHaskell

  jmchapman

  committed
  8e46c5c