ocaml函数编程代写: Advanced functional programming Exercise 1
# Some standard definitions. Any definition in this file may be used # in the solution to any question # The empty type, Zero. # There is no value of type Zero. # From a variable of type Zero it is possible to build a term of any type: # λx:Zero. x [A] Zero :: […]
ocaml函数编程代写: Advanced functional programming Exercise 1 Read More »