Discussions

• 3 You must be logged in to vote

  ❓

  Brief history of Kind?

  ken-okabe asked Jan 25, 2022 in Q&A · Closed · Answered

  

  

  

  

  4
• 2 You must be logged in to vote

  ❓

  First Class Types?

  ken-okabe asked Jan 27, 2022 in Q&A · Closed · Answered

  

  

  1
• 2 You must be logged in to vote

  💬

  Type inference

  ShalokShalom started Feb 9, 2022 in General · Closed

  

  

  1
• 2 You must be logged in to vote

  ❓

  Can You Use Kind ( Remotely ) Similarly to Metamath?

  zicklag asked Nov 17, 2022 in Q&A · Closed · Answered

  

  

  2
• 1 You must be logged in to vote

  ❓

  Readme code fails with "Expected name"

  cwahn asked Jan 7, 2023 in Q&A · Closed · Unanswered

  

  

  1
• 1 You must be logged in to vote

  ❓

  High Level Overview of all the main Types in Wikind?

  lancejpollard asked Nov 20, 2022 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  ❓

  Trying To Understand How to Make a Simple Proof

  zicklag asked Nov 22, 2022 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  💬

  Stateful variables (streams, live variables, reactivity, ... whatever we call it)

  question Further information is requested

  dumblob started Apr 14, 2021 in General

  

  

  

  

  10
• 2 You must be logged in to vote

  ❓

  A clever definition of the integers

  wkolowski asked Aug 23, 2021 in Q&A · Answered

  

  

  1
• 2 You must be logged in to vote

  💬

  Is HVM going to be a target?

  Diegovsky started Feb 10, 2022 in General · Closed

  

  

  

  

  3
• 1 You must be logged in to vote

  ❓

  Is there a demonstration on practical proofs?

  glyh asked Apr 11, 2022 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  ❓

  How the proof goals get generated?

  lancejpollard asked Feb 6, 2022 in Q&A · Answered

  

  

  3
• 1 You must be logged in to vote

  ❓

  What exactly is the relation between Kind and Kindelia?

  ken-okabe asked Jan 25, 2022 in Q&A · Answered

  

  

  2
• 5 You must be logged in to vote

  💡

  Language server plans?

  kahnclusions started Oct 18, 2021 in Ideas · Closed

  

  

  

  

  4
• 3 You must be logged in to vote

  📣

  Opt-in consistency in Kind

  sbp announced Aug 16, 2021 in Announcements

  

  

  

  

  3
• 2 You must be logged in to vote

  💡

  Methods.

  Kesanov started Aug 16, 2021 in Ideas

  

  

  1
• 5 You must be logged in to vote

  💡

  Formatter for Kind

  dvberkel started Aug 21, 2021 in Ideas

  

  

  2
• 3 You must be logged in to vote

  ⭐

  PriorityQueue based on Okasaki's "Purely Functional Data Structures"

  dvberkel started Aug 17, 2021 in Show and tell

  

  

  11
• 3 You must be logged in to vote

  ❓

  Definitions of core syntax terms are different

  skybrian asked Aug 17, 2021 in Q&A · Unanswered

  

  

  2
• 3 You must be logged in to vote

  💡

  π

  huynhtrankhanh started Aug 18, 2021 in Ideas

  

  

  

  

  2
• 3 You must be logged in to vote

  💡

  feedback on SYNTAX.md

  good first issue Good for newcomers review docs

  skybrian started Aug 12, 2021 in Ideas

  

  

  

  

  3
• 2 You must be logged in to vote

  ❓

  Understanding the core syntax

  skybrian asked Aug 16, 2021 in Q&A · Unanswered

  

  

  5
• 5 You must be logged in to vote

  💡

  Problem list for newcomers

  rigille started Aug 12, 2021 in Ideas

  

  

  5
• 2 You must be logged in to vote

  ⭐

  A little trick to deal with cases on expressions

  rigille started Jul 20, 2021 in Show and tell

  

  

  1
• 2 You must be logged in to vote

  💬

  LLVM backend for dependently typed languages

  dumblob started Jul 20, 2021 in General

  

  

  0