syntaxAlchemist
/
lib-laddertypes
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
35 Commits 4 Branches 0 Tags 139 KiB
Commit Graph

35 Commits

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