Discussions

• 1 You must be logged in to vote

  💡

  cicada-whereabouts and little book

  xieyuheng started Oct 3, 2022 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💬

  Scope problem of implicit argument and fulfilling class type

  WtzLAS started Nov 5, 2022 in General

  

  

  0
• 1 You must be logged in to vote

  💡

  induction datatype + dependent type = logic programming + named clause - query

  xieyuheng started Sep 27, 2022 in Ideas

  

  

  1
• 2 You must be logged in to vote

  💡

  Learn about observational equality by McBride or cubical extension type (either cartesian or de morgan)

  xieyuheng started Oct 6, 2022 in Ideas

  

  

  2
• 1 You must be logged in to vote

  💡

  lambda.clojure -- learn about lisp syntax design

  xieyuheng started Oct 3, 2022 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  关于将 solution: Solution 作为额外参数加入到 check 与 infer 中

  xieyuheng started Sep 18, 2022 in Ideas

  

  

  5
• 1 You must be logged in to vote

  💡

  Implicit Design

  WtzLAS started Sep 15, 2022 in Ideas

  

  

  

  

  23