Discussions

• 2 You must be logged in to vote

  #️⃣

  Aiken equivalent for Haskell's newtype

  fallen-icarus started Feb 22, 2024 in Core language features

  

  

  

  

  6
• 1 You must be logged in to vote

  #️⃣

  Allow Some Polymorphism for Records

  keyan-m started Mar 2, 2024 in Core language features

  

  

  0
• 1 You must be logged in to vote

  #️⃣

  Support Scott-Encoded validators parameters

  KristianBalaj started Jul 10, 2023 in Core language features

  

  

  

  

  11
• 1 You must be logged in to vote

  #️⃣

  Rethink lib/validator top level subdirs

  waalge started Feb 29, 2024 in Core language features

  

  

  0
• 4 You must be logged in to vote

  📦

  Property based testing

  waalge announced Dec 27, 2023 in Archive · Closed

  

  

  

  

  2
• 1 You must be logged in to vote

  💬

  Canonical test outputs / performance diffs

  Quantumplation started Feb 12, 2024 in General

  

  

  

  

  8
• 1 You must be logged in to vote

  💬

  Feature request: aiken deploy

  MartinSchere started Feb 10, 2024 in General

  

  

  

  

  2
• 2 You must be logged in to vote

  #️⃣

  Adding uniqueness to vars in the Aiken AST

  MicroProofs started Feb 7, 2024 in Core language features

  

  

  2
• 1 You must be logged in to vote

  #️⃣

  Dealing with accidental "always true" minting policies

  Quantumplation started Feb 6, 2024 in Core language features

  

  

  

  

  13
• 1 You must be logged in to vote

  #️⃣

  Decoding Map from Ledger behaviour

  KristianBalaj started Sep 17, 2023 in Core language features

  

  

  

  

  2
• 1 You must be logged in to vote

  #️⃣

  Introducing a Result<ok, err> type

  rvcas started Jan 16, 2023 in Core language features

  

  

  1
• 1 You must be logged in to vote

  💬

  How to decode compiled code on plutus.json?

  golddydev started Sep 20, 2023 in General · Closed

  

  

  

  

  12
• 1 You must be logged in to vote

  ✍️

  Assert - partial destructing support?

  matiwinnetou started Jan 31, 2023 in Syntax suggestions · Closed

  

  

  1
• 1 You must be logged in to vote

  #️⃣

  Introduce a Rational Type

  fallen-icarus started Mar 1, 2023 in Core language features · Closed

  

  

  

  

  4
• 1 You must be logged in to vote

  #️⃣

  Show budget expenditure without traces in Aiken check

  uplc Relates to Untyped Plutus Core tooling Tooling and developer experience improvements virtual machine The Untyped Plutus Core Cek Machine test framework All things regarding the aiken test framework

  micahkendall started Jul 7, 2023 in Core language features · Closed

  

  

  

  

  5
• 1 You must be logged in to vote

  #️⃣

  Allow byte array type to hold extra argument of byte array size

  MicroProofs started Nov 11, 2022 in Core language features

  

  

  1
• 2 You must be logged in to vote

  #️⃣

  Differentiate between Pair and 2-Tuples

  MicroProofs started Jun 2, 2023 in Core language features

  

  

  

  

  8
• 1 You must be logged in to vote

  💬

  Alex Aiken

  AngelCastilloB started Feb 1, 2024 in General · Closed

  

  

  1
• 1 You must be logged in to vote

  #️⃣

  Overlapping dependency names

  t4ccer started Jan 29, 2024 in Core language features

  

  

  1
• 3 You must be logged in to vote

  #️⃣

  Constraining generic types arguments

  KtorZ started Nov 10, 2022 in Core language features

  

  

  

  

  9
• 1 You must be logged in to vote

  #️⃣

  More options for --keep-traces

  KristianBalaj started Sep 7, 2023 in Core language features · Closed

  

  

  

  

  11
• 2 You must be logged in to vote

  📦

  UPLC implementations disagree on quotientInteger costing

  nielstron announced Dec 8, 2023 in Archive · Closed

  

  

  1
• 2 You must be logged in to vote

  #️⃣

  Color Coded Unit Test Budget Results

  rvcas started Nov 22, 2023 in Core language features

  

  

  2
• 1 You must be logged in to vote

  #️⃣

  View the error "side effect" as first class.

  waalge started Nov 18, 2023 in Core language features

  

  

  

  

  5
• 1 You must be logged in to vote

  💬

  UPLC Code Gen Optimizations

  code gen Untyped Plutus Core code generation

  rvcas started Nov 24, 2022 in General · Closed

  

  

  

  

  5