codewars/lambda-calculus

Issues

• negative number literal in built-in `numEncoding` throws wrongly

  #100 opened 2 years ago by JohanWiltink
  2

• numEncoding `None` throws a little _too_ often

  #109 opened 2 years ago by JohanWiltink
  0

• Use `BigInt` instead of `Number` internally

  #98 opened 2 years ago by JohanWiltink
  2

• Allow `?` in identifier names?

  #97 opened 2 years ago by JohanWiltink
  1

• Allow `.` in identifier names?

  #103 opened 2 years ago by JohanWiltink
  0

• Number literals in custom encoding can't be `wrap`ped

  #99 opened 2 years ago by JohanWiltink
  1

• define Y as JS?

  #102 opened 2 years ago by JohanWiltink
  3

• Bug when using custom encoding

  #68 opened 2 years ago by Kacarott
  3

• Export `Primitive`

  #91 opened 4 years ago by JohanWiltink
  0

• enforce BinaryScott invariant in `toInt`

  #92 opened 4 years ago by JohanWiltink
  0

• Implicit conversion behaviour

  #90 opened 4 years ago by Kacarott
  0

• Applying two LC terms is not completely lazy

  #84 opened 4 years ago by Voileexperiments
  1

• More indicative error messages

  #79 opened 4 years ago by Voileexperiments
  5

• assert.equal erroneously assumes partially applied terms to be LC numerals

  #89 opened 4 years ago by Voileexperiments
  2

• Numbers passed in as compiled LC parameters are treated as LC numerals

  #82 opened 4 years ago by Voileexperiments
  3

• Reading properties of JS values fails if value is undefined

  #87 opened 4 years ago by JohanWiltink
  1

• Allow for line continuation

  #86 opened 4 years ago by Voileexperiments
  3

• Broken behaviour when an LC term is called, inside a callback that is passed to an LC term.

  #80 opened 4 years ago by Kacarott
  0

• Ignored args not properly ignored

  #76 opened 4 years ago by Kacarott
  0

• Failure converting from Church 1 to int

  #74 opened 4 years ago by Kacarott
  1

• v1 Checklist

  #5 opened 4 years ago by Kacarott
  0

• Write authoring documentation

  #25 opened 4 years ago by Kacarott
  9

• Replace `Env` implementation with functions

  #40 opened 4 years ago by JohanWiltink
  2

• Lint, indent and tidy all code

  #14 opened 4 years ago by Kacarott
  0

• Multiple definitions should not be an error in CodeMirror

  #45 opened 4 years ago by JohanWiltink
  0

• implement verbosity levels: debugging logs

  #13 opened 4 years ago by Kacarott
  0

• Improve failure message of evaluating undefined

  #29 opened 4 years ago by Kacarott
  2

• Inlining

  #43 opened 4 years ago by JohanWiltink
  0

• add option to forbid compiler directives in source

  #10 opened 4 years ago by Kacarott
  1

• implement compiler directives

  #9 opened 4 years ago by Kacarott
  1

• Add "standard library" of helper functions

  #18 opened 4 years ago by Kacarott
  2

• add side-effects such as input/output

  #11 opened 4 years ago by Kacarott
  1

• Implement constants

  #15 opened 4 years ago by Kacarott
  1

• add boolean encodings

  #16 opened 4 years ago by Kacarott
  1

• Church `toInt` is stack-limited

  #41 opened 4 years ago by JohanWiltink
  0

• Stress test with large kata

  #19 opened 4 years ago by Kacarott
  1

• Prevent stack overflows when decoding numbers ( `fromInt` )

  #37 opened 4 years ago by JohanWiltink
  2

• add tracing facility

  #26 opened 4 years ago by JohanWiltink
  1

• fix toIntWith for Scott numerals

  #21 opened 4 years ago by JohanWiltink
  0

• `parseTerm` is still calling unspecialised `fromInt`

  #28 opened 4 years ago by JohanWiltink
  0

• rename inner `compile` to `parse`

  #27 opened 4 years ago by JohanWiltink
  0

• do not default to reading "solution.txt"

  #6 opened 4 years ago by JohanWiltink
  0

• implement compile/compileWith properly

  #8 opened 4 years ago by Kacarott
  1

• Prettier error messages

  #12 opened 4 years ago by Kacarott
  1

• Add numbers as identifiers

  #20 opened 4 years ago by Kacarott
  0

• add string encodings

  #17 opened 4 years ago by Kacarott
  0

• Add Parigot encoding

  #1 opened 4 years ago by Kacarott
  0

• Add StumpFu encoding

  #2 opened 4 years ago by Kacarott
  0