Everything-I-Know-About-Types/bergamot-elm
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
16 Commits 1 Branch 0 Tags 225 KiB
2f1cb79013
Commit Graph

16 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Danila Fedorin
2f1cb79013 Clean up the search and proving code somewhat 2023-11-26 12:27:44 -08:00
Danila Fedorin
efe0efbee7 Add a (debug) interactive demo 2023-11-26 11:58:20 -08:00
Danila Fedorin
800c96dc7b Add an initial Main.elm file 2023-11-26 11:43:38 -08:00
Danila Fedorin
95c30b6891 Also parse whole programs 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-11-26 11:42:46 -08:00
Danila Fedorin
295c93e38a Add a parser for the tiny language 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-11-26 11:40:15 -08:00
Danila Fedorin
6271dd8c2b Add an initial implementation of proof search 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-11-26 00:45:05 -08:00
Danila Fedorin
7d78db96d6 Add a useful helper function to the instantiation state 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-11-26 00:44:43 -08:00
Danila Fedorin
b13cdea15d Add a few more convenient operations to Search.elm 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-11-26 00:44:24 -08:00
Danila Fedorin
2cc1012a09 Add an initial 'lazy list' for doing backtracking 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-11-25 23:33:48 -08:00
Danila Fedorin
ed34302627 Add a function to substitute all variables for their values 2023-11-25 23:19:36 -08:00
Danila Fedorin
3269e37ef3 Add some convenience exports to Syntax.elm 2023-11-25 23:15:00 -08:00
Danila Fedorin
f4fba66f8b Add instantiating terms of metavariables with variables 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-11-25 23:08:21 -08:00
Danila Fedorin
824b19123e Fix a bug in unification (lol) 2023-11-25 23:08:05 -08:00
Danila Fedorin
a9163c0797 Rename the 'Metavariable' type to 'UnificationVar' 
'metavariable' is inaccurate.

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-11-25 22:53:08 -08:00
Danila Fedorin
bfa9deb0b0 Implement a first draft of unification 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-11-25 22:51:53 -08:00
Danila Fedorin
d0b88ee6df Initial commit 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-11-25 22:51:39 -08:00