cicada-lang/cicada-solo

Issues

• Knowledge & experience sharing with Kind/HVM

  #15 opened 2 years ago by dumblob
  2

• Apply for Contributing

  #14 opened 2 years ago by Mepy
  0

• Does this able to proof function extensionality?

  #13 opened 3 years ago by dannypsnl
  11

• Type: Type can lead to Russell's paradox

  #12 opened 3 years ago by ksqsf
  3

• Define Bools in Nat?

  #11 opened 3 years ago by ksqsf
  2

• finish "the little typer"

  #1 opened 4 years ago by xieyuheng
  0