Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

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