James Chapman
James Chapman
### Describe the feature you'd like The parser and pretty printer do not properly support lists, pairs and data. I would like to use the syntax ```con (list bool) [True,...
Currently plutus-metatheory has open type constants that can depend on variables and support for `list a` and `pair a b` where `a` and `b` are variables. `plutus-core` has higher order...
I have mono 3.8, I am running F# interactive from within emacs on OS X mavericks. I downloaded FSharp.Charting.Gtk.0.90.7 from nuget. I put it in ~/Desktop/packages/. I have a script...
We currently generate html (e.g., Type.html) from the markdown files (e.g, Type.md) generated from the agda files (e.g, Type.lagda.md) but jekyll is not configured properly so the generated html doesn't...
**Internal/External** *Internal* if an IOHK staff member. **Area** *Other* Any other topic (Delegation, Ranking, ...). **Summary** The 8.10.1-pre release notes (https://github.com/IntersectMBO/cardano-node/releases/tag/8.10.1-pre) say in the description it can be used with...