Commit ee94ec40 authored by Pietro Abate's avatar Pietro Abate

[r2004-07-05 14:18:33 by afrisch] Big int demo

Original author: afrisch
Date: 2004-07-05 14:18:33+00:00
parent 70a26718
include Makefile.conf
VERSION = 0.2.0-rc1
VERSION = 0.2.0
all: cduce dtd2cduce validate cdo2ml cduce_lib.cma
ifeq ($(NATIVE),true)
......@@ -274,6 +274,7 @@ clean:
rm -Rf prepro package
rm -f web/www/*.html web/*~
rm -f web/*.cdo
rm -f configure.log
distclean: clean
rm -f Makefile.conf
......
let aux ((Int,Int) -> Int)
| (x, 0 | 1) -> x
| (x, n) -> aux (x * n, n - 1)
let fact (x : Int) : Int = aux (Big_int.unit_big_int, x)
(* Could write 1 instead of Big_int.unit_big_int. Just for fun. *)
val fact: Big_int.big_int -> Big_int.big_int
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment