|
|
744091de01
|
Parse expressions
Only '=' for now.
|
2020-12-13 21:56:47 +00:00 |
|
|
|
60c2c2fe6d
|
Parse terms and definitions
|
2020-12-13 20:23:07 +00:00 |
|
|
|
2b88420a2a
|
Rename from props to propa-tools
|
2020-12-11 17:06:10 +00:00 |
|
|
|
b9762ddb10
|
Correctly display terms
|
2020-11-26 19:03:22 +01:00 |
|
|
|
fc0ede9499
|
Create basic lambda term type
|
2020-11-26 14:16:23 +01:00 |
|
|
|
b17c5d9d3d
|
Set up simple stack project
|
2020-11-25 14:52:27 +01:00 |
|
