Document LambdaBuffers packages (Prelude and Plutus)
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 3/5
- Thời gian dự kiến
- 1-2 ngày
- Mức phù hợp với người mới
- 45/100
- Loại issue
- Tài liệu
- Độ rõ ràng
- Khá rõ ràng
- Mức độ hoạt động
- Đình trệ
- Công nghệ
- haskell
- Lĩnh vực
- documentation
Hướng nghiên cứu
Các tệp được yêu cầu là docs/lb-prelude.md và docs/lb-plutus.md. Trước tiên, hãy xem xét các định nghĩa package Prelude và Plutus, cùng với hành vi opaque, transparent, encoding, equality và derivation của chúng. Công việc được xem là hoàn tất khi cả hai tài liệu package đều chỉ rõ các ánh xạ và ngữ nghĩa được liệt kê dưới dạng không phụ thuộc vào ngôn ngữ; không có test hay entry point nào khác được nêu tên.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
When implementing runtimes for LB packages (Prelude, Plutus), we need to have a 'language neutral' specification of:
- Which opaques types are listed and what do they map to in different languages.
- How
opaquetypes support a type class- Json encodings
- PlutusData encodings
- Equality
- How
transparenttypes support a type class via derivation- Given a sum/record/prod type how does a Json/PlutusData encoding look like? How is equality performed?
Let's add necessary documentation for this.
I sense that documentation should be associated with an LB package. So it's basically a documentation for the LB package.
- docs/lb-prelude.md
- docs/lb-plutus.md
- Ngôn ngữ chính
- Haskell
- Star
- 32
- Fork
- 1
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Hướng dẫn đóng góp
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của mlabs-haskell/lambda-buffers
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
mlabs-haskell/lambda-buffers#296 ·
-
Create a more user friendly CLI Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100
mlabs-haskell/lambda-buffers#295 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 20/100
mlabs-haskell/lambda-buffers#294 ·
-
Dykstra HF Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
mlabs-haskell/lambda-buffers#293 ·
-
Nix-free path Đang mởdevops
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
mlabs-haskell/lambda-buffers#292 ·
Tất cả issue của mlabs-haskell/lambda-buffers
Issue tương tự
-
typst-0.12 Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
commercialhaskell/stackage#8127 ·
-
bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100
input-output-hk/haskell.nix#2573 ·
-
docs
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 85/100
-
needs triage type: bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 70/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100