James Chapman

Alternative proposal sketch: Instead of adding an additional transaction type to support batching/atomic sequences of transactions, relax the validation rules to allow batching in a single transaction. For ordinary (non...

What is the status of this ("This is external, and fixed in F# 3.0 tag 3.0.31. Leaving this open until we verify it.") now in, mono 3.8?

I changed one of the `plutus-core-test` tests to print out the terms it generates by creating an individual test for each term, labelled by the term. If I turn up...

Here are the tests generated that mention serialiseData: ``` ApplyG (LamAbsG (VarG FZ)) (ApplyG (LamAbsG (ConstantG (TmUnitG ()))) (BuiltinG SerialiseData) (TyFunG (TyBuiltinG TyDataG) (TyBuiltinG TyByteStringG))) (TyBuiltinG TyUnitG): OK ApplyG (LamAbsG...

good idea, that would be useful for this kind of debugging.

I think I confused github.

@mjaskelioff is it time to delete this now?

I have added the jekyll config files to the the `html` folder. When I try to run `jekyll serve` I get this error: ``` Configuration file: plutus/plutus-metatheory/src/html/_config.yml ------------------------------------------------ Jekyll 4.2.0...

It is supposed to look like this: https://input-output-hk.github.io/plutus-metatheory/ https://input-output-hk.github.io/plutus-metatheory/Type.html ^ this is some old content I generated manually using the files committed in this PR

The style is intended to match https://plfa.github.io/