Commit Graph

23 Commits (master)

Author SHA1 Message Date
Rachel Lambda Samuelsson 7bc4be31c0 did some work on renaming / meta solutions 2023-02-05 17:04:41 +01:00
Rachel Lambda Samuelsson b0fe012f7b forcing of meta variables 2023-02-04 16:58:16 +01:00
Rachel Lambda Samuelsson db2c757355 compiles 2023-02-01 14:38:14 +01:00
Rachel Lambda Samuelsson 68a7cafd8e started work on metas 2023-01-31 19:51:46 +01:00
Rachel Lambda Samuelsson 2c380ad564 remove old parse dir 2023-01-26 21:20:35 +01:00
Rachel Lambda Samuelsson 9eaaca4ed2 initial post process 2023-01-26 21:13:51 +01:00
Rachel Lambda Samuelsson 1e8ec6d71a fix grammar 2023-01-26 19:17:23 +01:00
Rachel Lambda Samuelsson ae9f061b31 update readme 2023-01-26 16:50:09 +01:00
Rachel Lambda Samuelsson 3aea54bffe integrate bnfc 2023-01-26 16:49:17 +01:00
Rachel Lambda Samuelsson 60890cbdd9 work on BNFC dune integration 2023-01-25 22:20:13 +01:00
Rachel Lambda Samuelsson 00667c11af start work on raw syntax 2023-01-25 21:17:49 +01:00
Rachel Lambda Samuelsson c6ebac27ba conversion of stuck induction 2023-01-23 18:04:26 +01:00
Rachel Lambda Samuelsson d70a3322c1 enough for today, my head hurts 2022-09-03 12:41:54 +02:00
Rachel Lambda Samuelsson 60f620c00e I hate grammers 2022-09-03 12:36:13 +02:00
Rachel Lambda Samuelsson 96787c4aad fancy dune file 2022-09-03 11:08:31 +02:00
Rachel Lambda Samuelsson 963015801e added basic parser 2022-09-03 11:06:12 +02:00
Rachel Lambda Samuelsson 9115694545 completed conversion 2022-08-31 20:49:40 +02:00
Rachel Lambda Samuelsson 1ac3d99bab update readme 2022-08-30 18:09:24 +02:00
Rachel Lambda Samuelsson b7125f0277 did some work on conversion 2022-08-30 18:08:51 +02:00
Rachel Lambda Samuelsson 354705afe5 did work on evaluation 2022-08-30 16:12:47 +02:00
Rachel Lambda Samuelsson 75f4dea650 cleanup readme 2022-08-30 15:32:00 +02:00
Rachel Lambda Samuelsson 7ea41a1bba move Eval.ml to correct directory 2022-08-30 15:13:33 +02:00
Rachel Lambda Samuelsson fc022a16a4 initial commit? 2022-08-25 20:29:55 +02:00