Commit graph

36 commits

Author SHA1 Message Date
a75a7a56a0 TypeID: add Copy trait 2024-08-04 23:57:14 +02:00
658134d56a
readme: add syntax description and roadmap 2024-05-01 17:44:42 +02:00
d7502e6af8
add gitignore 2023-12-02 17:03:27 +01:00
0fb3f6e212
parser test: also test variable-ids 2023-11-11 16:26:58 +01:00
bd21a602f3
unification 2023-11-11 16:26:30 +01:00
5919b7df1f
wip unification 2023-10-31 16:26:54 +01:00
74177d1d30
substitutions 2023-10-30 17:22:00 +01:00
aacafb318a
README: minor improvements 2023-10-03 05:11:56 +02:00
f45593cfd5
lnf: remove unnecessary mut 2023-10-03 03:35:29 +02:00
45f49378fa
is_syntactic_subtype(): remove option in Err variant 2023-10-03 03:34:55 +02:00
29d1acd681
implement unparse() 2023-10-03 03:30:38 +02:00
167da369af
improve README 2023-10-03 01:42:05 +02:00
3b944d15c8
add more subtype test-cases & fix normalize in case of normalizing sub-ladders 2023-10-02 19:16:20 +02:00
ccd60fc7bf
implement subtype checks 2023-10-02 18:58:39 +02:00
3014213aa7
add more complex normalization test & fix normalization of application arguments 2023-10-02 18:57:49 +02:00
7b22bdc170
implement ladder normalization 2023-10-02 18:48:04 +02:00
61c06d5d03
fix warnings 2023-10-02 15:15:58 +02:00
c96218e318
README: add small code example 2023-10-02 15:09:59 +02:00
c7585f353a
make decoration comment style consistent 2023-10-02 15:07:42 +02:00
e60c60cbff
parser: remove FromStr & always improve parse() function 2023-10-02 15:05:25 +02:00
2d3b234e6e
add curry/decurry 2023-10-02 14:54:47 +02:00
3fc691acf2
lexer: allow escaped characters in char-token 2023-10-02 02:21:54 +02:00
601327f602
dict: add type_from_str 2023-10-02 02:21:38 +02:00
da899192f5
lexer: improve whitespace handling 2023-10-02 01:34:46 +02:00
8fa38ca7d3
initial parser implementation 2023-10-02 01:33:55 +02:00
8ec95dfbed
make decoration comments symmetric 2023-10-02 01:27:50 +02:00
cb91fa52de
lexer: change num type to i64 2023-10-01 18:43:04 +02:00
e89e16af61
term: remove unused import 2023-10-01 18:04:04 +02:00
0ac5460a32
lexer: replace new with from 2023-10-01 17:52:48 +02:00
f3353273c8
extend lexer test 2023-10-01 17:18:54 +02:00
358ad4d147
move tests into separate files 2023-10-01 17:11:51 +02:00
2f26dcc936
add term, dict & bimap 2023-10-01 17:03:47 +02:00
e12cbef99f
README: fix spelling 2023-10-01 17:02:26 +02:00
f54514b2ab
Create cargo-test.yml 2023-10-01 14:45:28 +00:00
7a84aaba2e
add README.md & COPYING 2023-10-01 16:44:17 +02:00
b6117ec12d
initial lexer 2023-10-01 13:11:29 +02:00