|
|
a166ebb0d7
|
change behavior of trie-suggest
|
2025-05-10 15:49:59 +02:00 |
|
|
|
1fa47d4abd
|
rename function
|
2025-05-10 14:45:50 +02:00 |
|
|
|
d363d73dbd
|
fix imports
|
2025-05-10 12:36:06 +02:00 |
|
|
|
be856bffad
|
remove unused import
|
2025-05-10 12:31:51 +02:00 |
|
|
|
b68092d058
|
create index.js
|
2025-05-10 12:08:43 +02:00 |
|
|
|
a839d69c0e
|
add radix tree benchmark
|
2025-05-10 10:45:27 +02:00 |
|
|
|
fe978c5b41
|
environment includes mapping name -> instance
|
2025-05-10 10:00:44 +02:00 |
|
|
|
1780920438
|
(broken) use lowercase names for symbols
|
2025-05-10 09:19:40 +02:00 |
|
|
|
639d70afa5
|
(broken) modules are mappings from name to typed value
|
2025-05-10 09:14:58 +02:00 |
|
|
|
c27c7d3648
|
add purely functional Trie
|
2025-05-10 02:03:41 +02:00 |
|
|
|
63b1aa6238
|
fix
|
2025-05-09 16:55:18 +02:00 |
|
|
|
1f2249e75a
|
add comparison functions for SetIterator and DictIterator
|
2025-05-09 16:51:29 +02:00 |
|
|
|
b0023afe8c
|
create 'Ordering' type
|
2025-05-09 16:35:26 +02:00 |
|
|
|
77dfc8b182
|
split 'environment' example up into library and interactive prompt
|
2025-05-09 16:05:12 +02:00 |
|
|
|
255bc475d7
|
fix
|
2025-05-09 15:03:17 +02:00 |
|
|
|
b1c2e7836d
|
replace 'prompt' example by 'environment'
|
2025-05-09 14:53:43 +02:00 |
|
|
|
e1a2139cb4
|
use newDynamic() everywhere instead of { i: ... , t: ... }
|
2025-05-08 23:56:58 +02:00 |
|
|
|
34d06aa82a
|
small changes
|
2025-05-08 23:35:34 +02:00 |
|
|
|
4c394441b0
|
fix things
|
2025-05-08 23:08:48 +02:00 |
|
|
|
9e1f679dba
|
pretty print enhancements + comparison of generic functions
|
2025-05-08 22:59:01 +02:00 |
|
|
|
bbac7858ae
|
fix some things
|
2025-05-08 21:30:56 +02:00 |
|
|
|
d9111c3969
|
delete more unused code
|
2025-05-08 17:32:34 +02:00 |
|
|
|
07d313f938
|
delete no longer used class 'DefaultMap'
|
2025-05-08 17:31:35 +02:00 |
|
|
|
35d682429b
|
turn one example into a test + fix bug in type variable substition function
|
2025-05-08 17:30:42 +02:00 |
|
|
|
a664ddac8a
|
simplify: no distinction between generic types and 'normal' types.
|
2025-05-08 16:58:07 +02:00 |
|
|
|
b4826605af
|
add dict comparison function
|
2025-05-07 14:05:57 +02:00 |
|
|
|
48390b8556
|
reorganize directory and file structure
|
2025-05-07 13:44:49 +02:00 |
|
|
|
8eec5b9239
|
recursive types (and operations on them, like pretty-printing, comparison and unification) seem to be working.
big part of the code base still needs to be 'ported' to the updated type constructors.
|
2025-05-05 17:17:45 +02:00 |
|
|
|
8a4bd44f04
|
rename some things
|
2025-04-20 21:09:51 +02:00 |
|
|
|
3978f7f835
|
branching and very basic merging of slots
|
2025-04-17 09:19:41 +02:00 |
|
|
|
4a4983f693
|
interactive prompt can handle polymorphic types
|
2025-04-02 15:49:43 +02:00 |
|
|
|
a0e3aa0cb3
|
turn the function for creating new types (or type constructors) into a DOPE function
|
2025-03-31 17:35:30 +02:00 |
|
|
|
d8ca2f3999
|
progress and some refactoring
|
2025-03-31 15:35:02 +02:00 |
|
|
|
145835ad5d
|
progress
|
2025-03-24 17:28:07 +01:00 |
|
|
|
bc91d9bf39
|
lotta progress
|
2025-03-23 13:25:47 +01:00 |
|
|
|
29d20b2273
|
wip
|
2025-03-23 09:15:37 +01:00 |
|
|
|
5283be608b
|
refactor code: move everything from type_registry to "most appropriate" modules
|
2025-03-20 18:12:30 +01:00 |
|
|
|
4ca60784aa
|
greatly simplify type registry
|
2025-03-20 17:29:13 +01:00 |
|
|
|
303fa869a8
|
... got it wrong
|
2025-03-20 14:14:28 +01:00 |
|
|
|
9405ba1b4e
|
add String type + use String to make nominal types unique (worse, but more pleasant when debugging)
|
2025-03-20 14:09:17 +01:00 |
|
|
|
18b5e56ff0
|
add nominal types for 2D points
|
2025-03-20 12:07:31 +01:00 |
|
|
|
94efde3e65
|
add interactive prompt
|
2025-03-20 09:54:11 +01:00 |
|
|
|
e892ade34d
|
rename function
|
2025-03-19 15:43:45 +01:00 |
|
|
|
3d08485a08
|
list of byte encoded as JS Uint8Array + demo more readable
|
2025-03-17 20:14:57 +01:00 |
|
|
|
574651ccb7
|
Add product and sum types
|
2025-03-17 17:54:42 +01:00 |
|
|
|
6023efc295
|
use fnType everywhere to create function types
|
2025-03-14 17:05:04 +01:00 |
|
|
|
a8260f2afb
|
basic functionality, no generics
|
2025-03-14 16:56:37 +01:00 |
|
