Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
teaching:cc4101:tareas:2023-1:tarea1 [2023/04/13 15:21] – [Parte 1. Lenguaje con funciones de primer orden (2.0 ptos.)] rodrigo.urreateaching:cc4101:tareas:2023-1:tarea1 [2023/04/24 13:07] (current) – [Parte 3. Contratos en funciones de primer orden (1.5 ptos.)] tvallejos
Line 236: Line 236:
  
 <code scheme> <code scheme>
-{{define {pair-non-zero? {p : {Pair Num Num}}} {and {} {}}}+{{define {pair-non-zero? {p : {Pair Num Num}}} {&& {= 0 {fst p}} {= 0 {snd p}}}}
  {define {pair-div {p : {Pair Num Num} @ pair-non-zero?}} {/ {fst x} {snd x}}}  {define {pair-div {p : {Pair Num Num} @ pair-non-zero?}} {/ {fst x} {snd x}}}
  {+ {pair-div {cons 30 5}} {pair-div {cons 60 0}}}  {+ {pair-div {cons 30 5}} {pair-div {cons 60 0}}}