Update to Necro Lib v0.12 (uncurrying, and `:=` to `=`)
Showing
- arithmetic.sk 8 additions, 7 deletionsarithmetic.sk
- boolean.sk 4 additions, 4 deletionsboolean.sk
- brainfuck.sk 24 additions, 21 deletionsbrainfuck.sk
- buggy_branch.sk 3 additions, 3 deletionsbuggy_branch.sk
- concurrent.sk 28 additions, 28 deletionsconcurrent.sk
- concurrent_ss.sk 13 additions, 13 deletionsconcurrent_ss.sk
- features.sk 20 additions, 20 deletionsfeatures.sk
- implicits.sk 20 additions, 20 deletionsimplicits.sk
- int64.sk 28 additions, 28 deletionsint64.sk
- lambda.sk 4 additions, 4 deletionslambda.sk
- lambda_ho.sk 9 additions, 9 deletionslambda_ho.sk
- lambda_reader.sk 5 additions, 4 deletionslambda_reader.sk
- lists.sk 37 additions, 37 deletionslists.sk
- miniml.sk 1 addition, 1 deletionminiml.sk
- nat.sk 125 additions, 125 deletionsnat.sk
- options_monad.sk 1 addition, 2 deletionsoptions_monad.sk
- osaat_cbv_recursion.sk 42 additions, 42 deletionsosaat_cbv_recursion.sk
- osaat_exception_state.sk 22 additions, 22 deletionsosaat_exception_state.sk
- osaat_rewind.sk 18 additions, 18 deletionsosaat_rewind.sk
- stack.sk 8 additions, 7 deletionsstack.sk
Loading
Please register or sign in to comment