7 Commits

Author	SHA1	Message	Date
depsterr	96787c4aad	fancy dune file	2022-09-03 11:08:31 +02:00
depsterr	963015801e	added basic parser	2022-09-03 11:06:12 +02:00
depsterr	9115694545	completed conversion	2022-08-31 20:49:40 +02:00
depsterr	b7125f0277	did some work on conversion	2022-08-30 18:08:51 +02:00
depsterr	354705afe5	did work on evaluation	2022-08-30 16:12:47 +02:00
depsterr	7ea41a1bba	move Eval.ml to correct directory	2022-08-30 15:13:33 +02:00
depsterr	fc022a16a4	initial commit?	2022-08-25 20:29:55 +02:00