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