jameshaydon/lawvere

Issues

• Feature Request: Lambda Calculus Notation

  #9 opened 4 years ago by svenkeidel
  7

• Desugar recursive definitions to use of parametrised fixed point operator

  #20 opened 4 years ago by jameshaydon
  0

• Whitespace identity is jarring in some places

  #18 opened 4 years ago by jameshaydon
  0

• Should general recursion always be allowed?

  #16 opened 4 years ago by Invisible-Rabbit-Hunter
  4

• Literate scripts report wrong line numbers

  #6 opened 4 years ago by jameshaydon
  0

• Use more user-friendly terms

  #4 opened 4 years ago by jameshaydon
  0

• Cone sequencing

  #5 opened 4 years ago by jameshaydon
  0