Comments (5)
We should finish this.
from plutus.
@jmchapman Could you work with @kwxm on this, please?
from plutus.
Sure.
from plutus.
This is pretty much complete now, with just a couple of things needing clarification. I don't think all of James' work on the type-system section is merged yet though.
from plutus.
Let's close this now. The spec will require further work (eg, to remove sizes), but the current version is OKish.
from plutus.
Related Issues (20)
- V3 script size increased in 1.30 HOT 2
- Spelling mistake? HOT 1
- Make docusaurus code examples type-checked by CI HOT 1
- Add nightly tests for cardano-constitution
- Add workflow to send messages to Slack when other workflows fail
- Run linkchecker across entire repo
- Add ghc910 builds to hydraJobs
- Simple and efficient way of accessing the datum and redeemer
- HasBlueprintSchema, HasBlueprintDefinition instances for types shipped with Plutus, e.g. `PubKeyHash`
- Get rid of `delay`s in `case` branches
- Make tests take less than forever to finish
- Replace `NOINLINE` with `OPAQUE`
- Add a `MINIMAL` pragma to `Ord` and check existence of other `MINIMAL` pragmas
- No instance for ‘PlutusTx.Eq.Eq ScriptPurpose’ arising from a use of ‘lookup’ HOT 5
- Use Custom Domain for GithubPages
- Restore master haddock branch
- Add the new bitwise builtins to `plutus-metatheory`
- Add the new bitwise builtins to the Plutus Core specification
- Plutus Core specification: be careful about sizes of builtin arguments of integral types
- Update outdated docs in budgeting benchmarks of `Text`
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from plutus.