GitHub - qnighy/fplp-interpreter: 関数・論理型プログラミング実験

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
.gitignore		.gitignore
Makefile		Makefile
OCamlMakefile		OCamlMakefile
eval.ml		eval.ml
eval.mli		eval.mli
eval_cbn.ml		eval_cbn.ml
eval_cbn.mli		eval_cbn.mli
eval_need.ml		eval_need.ml
eval_need.mli		eval_need.mli
expr.ml		expr.ml
expr.mli		expr.mli
exprLexer.mll		exprLexer.mll
exprParser.mly		exprParser.mly
lazy-sample.txt		lazy-sample.txt
loc.ml		loc.ml
loc.mli		loc.mli
main.ml		main.ml
misc.ml		misc.ml
misc.mli		misc.mli
sample.txt		sample.txt
send-repl.rb		send-repl.rb
thunk.ml		thunk.ml
thunk.mli		thunk.mli
thunk_need.ml		thunk_need.ml
thunk_need.mli		thunk_need.mli
todo.txt		todo.txt
type.ml		type.ml
type.mli		type.mli
value.ml		value.ml
value.mli		value.mli