Commit graph

Select branches

Hide pull requests

master

Mono Color

• 794cd3f120 nicer pattern matching master Joeri Exelmans 2025-06-17 11:12:34 +02:00
• d5821c9cb9 fix error in static merge algorithm. progress with merging of dictionary-operations Joeri Exelmans 2025-06-16 14:34:24 +02:00
• 5d028fe030 fix bug in dict comparison Joeri Exelmans 2025-06-16 13:17:10 +02:00
• 41a5335d87 fix Joeri Exelmans 2025-06-08 14:45:23 +02:00
• 2129a7fdaf export things Joeri Exelmans 2025-06-08 14:29:08 +02:00
• 01dabaa219 use static versioning module instead Joeri Exelmans 2025-06-08 14:21:36 +02:00
• 176bb5c109 create statically typed variant of versioning lib Joeri Exelmans 2025-06-08 14:09:41 +02:00
• d30f1312b6 progress with versioning Joeri Exelmans 2025-06-08 13:14:29 +02:00
• e106ced1ec progress with versioning Joeri Exelmans 2025-06-06 16:39:47 +02:00
• 618cdf7314 progress with versioning lib Joeri Exelmans 2025-06-06 15:30:35 +02:00
• 3623988f86 forgot import Joeri Exelmans 2025-06-06 11:37:09 +02:00
• 172315047c ... Joeri Exelmans 2025-06-06 11:35:38 +02:00
• 7dafc1d659 create versioning module Joeri Exelmans 2025-06-06 11:30:38 +02:00
• 62f85302fd rename folder Joeri Exelmans 2025-06-05 10:10:33 +02:00
• 5b13fbb047 fix mistake Joeri Exelmans 2025-06-05 09:58:27 +02:00
• e2e9bbdccd add primitive string type Joeri Exelmans 2025-06-05 09:57:04 +02:00
• aee8d5b5e1 simplify 'enum' Joeri Exelmans 2025-06-03 10:42:36 +02:00
• 366b1ec4e0 simplify 'struct' Joeri Exelmans 2025-06-02 15:28:07 +02:00
• 43342e90d4 delete unused module Joeri Exelmans 2025-06-02 10:38:12 +02:00
• 44ca4bbc4b update roadmap Joeri Exelmans 2025-05-28 09:45:35 +02:00
• bc9a229a5c update roadmap Joeri Exelmans 2025-05-28 07:48:53 +02:00
• cac0cb7f81 export correct types of errors Joeri Exelmans 2025-05-24 09:27:42 +02:00
• 664f31447f typo Joeri Exelmans 2025-05-23 19:55:22 +02:00
• 0d3ccee7d5 typo Joeri Exelmans 2025-05-23 18:58:34 +02:00
• 3d72f4d416 get rid of some stuff Joeri Exelmans 2025-05-23 14:45:35 +02:00
• 2333abe70f cleanup unification a bit Joeri Exelmans 2025-05-23 14:35:07 +02:00
• 68bd7cdb9f wrote new unify-function that always returns minimal set of substitutions Joeri Exelmans 2025-05-23 14:04:39 +02:00
• 47786ae792 fixpoint algorithm: parameterize the Map to use Joeri Exelmans 2025-05-22 14:31:26 +02:00
• ea878975be add algorithm for fixpoint calculation Joeri Exelmans 2025-05-21 22:31:35 +02:00
• 8cfbd6116f add export Joeri Exelmans 2025-05-19 19:39:37 +02:00
• 4fcfea409a fix bug in radix trie Joeri Exelmans 2025-05-19 17:02:20 +02:00
• 70fb80a9fc export even more stuff Joeri Exelmans 2025-05-19 15:10:07 +02:00
• 1fe4085844 export a bit more Joeri Exelmans 2025-05-19 13:50:03 +02:00
• 0896dfae4e update index Joeri Exelmans 2025-05-19 13:46:28 +02:00
• 870ce51a97 update index Joeri Exelmans 2025-05-19 13:31:39 +02:00
• 28909d88b9 rename function + update index Joeri Exelmans 2025-05-19 13:23:36 +02:00
• c1da60b71c remove 'prompt' example (the webapp demo is better in every way) Joeri Exelmans 2025-05-19 13:20:25 +02:00
• dfe03eab6e rewrite, simply and "power-up" unification Joeri Exelmans 2025-05-19 13:18:58 +02:00
• d3515d39a5 tweak a bit Joeri Exelmans 2025-05-18 10:19:39 +02:00
• 248d8ddef1 when assigning parameter to function, the returned typevar substitutions must take into account any typevar recomputations Joeri Exelmans 2025-05-18 09:58:11 +02:00
• 8266e59b94 export __unify Joeri Exelmans 2025-05-18 09:38:30 +02:00
• 0096bb5559 allow comparison of type variable instances Joeri Exelmans 2025-05-16 14:07:36 +02:00
• 8446f9ba9e forgot to add new function to index.d.ts Joeri Exelmans 2025-05-16 13:04:06 +02:00
• 106bd0bfdb add function Joeri Exelmans 2025-05-16 10:16:21 +02:00
• d75bf9f0f2 fix type of exported errors Joeri Exelmans 2025-05-15 17:19:25 +02:00
• 443a13998d forgot 'new' Joeri Exelmans 2025-05-13 17:50:23 +02:00
• 1e10393e76 add extra check and error type Joeri Exelmans 2025-05-13 17:04:19 +02:00
• e631f11aa5 set all return types to 'any' (many of them were wrongly detected) Joeri Exelmans 2025-05-13 14:14:28 +02:00
• 1a55c52782 fix module types Joeri Exelmans 2025-05-13 14:11:41 +02:00
• 135bfc7351 add type definitions (auto-generated) Joeri Exelmans 2025-05-13 14:08:44 +02:00
• a9e21d7d94 forgot something Joeri Exelmans 2025-05-12 11:03:17 +02:00
• cb45d88e17 correct type of emptyDict and emptySet Joeri Exelmans 2025-05-12 10:44:02 +02:00
• d531c48a92 change index Joeri Exelmans 2025-05-11 09:33:34 +02:00
• dadee965e5 trie: add get function Joeri Exelmans 2025-05-11 09:30:48 +02:00
• dd35e2b577 fix Joeri Exelmans 2025-05-11 00:30:03 +02:00
• 29c7b6af61 fix bug in trie Joeri Exelmans 2025-05-10 23:04:13 +02:00
• 3b8548e9af fix bug in trie Joeri Exelmans 2025-05-10 20:53:36 +02:00
• fe6e86e1a4 fix bug in trie Joeri Exelmans 2025-05-10 20:28:40 +02:00
• 075cc1244f fix Trie.suggest (for real this time?) Joeri Exelmans 2025-05-10 19:51:00 +02:00
• 660512cc19 fix bug in Trie.suggest? Joeri Exelmans 2025-05-10 19:37:38 +02:00
• a166ebb0d7 change behavior of trie-suggest Joeri Exelmans 2025-05-10 15:49:59 +02:00
• 1fa47d4abd rename function Joeri Exelmans 2025-05-10 14:45:50 +02:00
• d363d73dbd fix imports Joeri Exelmans 2025-05-10 12:36:06 +02:00
• be856bffad remove unused import Joeri Exelmans 2025-05-10 12:31:51 +02:00
• 3ac945f993 bump version to make dependents also no longer dependent on removed dependency?? Joeri Exelmans 2025-05-10 12:30:05 +02:00
• c91bcd979c remove dependency Joeri Exelmans 2025-05-10 12:25:35 +02:00
• b68092d058 create index.js Joeri Exelmans 2025-05-10 12:08:43 +02:00
• 9c79d13b1f use performance.now() instead of Date.now() in benchmark Joeri Exelmans 2025-05-10 11:13:47 +02:00
• a839d69c0e add radix tree benchmark Joeri Exelmans 2025-05-10 10:45:27 +02:00
• fe978c5b41 environment includes mapping name -> instance Joeri Exelmans 2025-05-10 10:00:31 +02:00
• 1780920438 (broken) use lowercase names for symbols Joeri Exelmans 2025-05-10 09:19:40 +02:00
• 639d70afa5 (broken) modules are mappings from name to typed value Joeri Exelmans 2025-05-10 09:14:58 +02:00
• c27c7d3648 add purely functional Trie Joeri Exelmans 2025-05-10 02:03:41 +02:00
• c3dc16b328 give package a name Joeri Exelmans 2025-05-09 21:09:22 +02:00
• 63b1aa6238 fix Joeri Exelmans 2025-05-09 16:55:18 +02:00
• 1f2249e75a add comparison functions for SetIterator and DictIterator Joeri Exelmans 2025-05-09 16:51:29 +02:00
• b0023afe8c create 'Ordering' type Joeri Exelmans 2025-05-09 16:35:26 +02:00
• 77dfc8b182 split 'environment' example up into library and interactive prompt Joeri Exelmans 2025-05-09 16:05:12 +02:00
• 255bc475d7 fix Joeri Exelmans 2025-05-09 15:03:17 +02:00
• b1c2e7836d replace 'prompt' example by 'environment' Joeri Exelmans 2025-05-09 14:53:43 +02:00
• f8008aa25d Use nix flake to get dev shell Joeri Exelmans 2025-05-09 13:13:56 +02:00
• e1a2139cb4 use newDynamic() everywhere instead of { i: ... , t: ... } Joeri Exelmans 2025-05-08 23:56:58 +02:00
• 34d06aa82a small changes Joeri Exelmans 2025-05-08 23:35:34 +02:00
• 4c394441b0 fix things Joeri Exelmans 2025-05-08 23:08:48 +02:00
• 8a4b47df02 create dictionary of {Type => {set of instances}} Joeri Exelmans 2025-05-08 22:59:50 +02:00
• 9e1f679dba pretty print enhancements + comparison of generic functions Joeri Exelmans 2025-05-08 22:59:01 +02:00
• bbac7858ae fix some things Joeri Exelmans 2025-05-08 21:30:56 +02:00
• d9111c3969 delete more unused code Joeri Exelmans 2025-05-08 17:32:34 +02:00
• 07d313f938 delete no longer used class 'DefaultMap' Joeri Exelmans 2025-05-08 17:31:35 +02:00
• 35d682429b turn one example into a test + fix bug in type variable substition function Joeri Exelmans 2025-05-08 17:30:42 +02:00
• a664ddac8a simplify: no distinction between generic types and 'normal' types. Joeri Exelmans 2025-05-08 16:58:07 +02:00
• b4826605af add dict comparison function Joeri Exelmans 2025-05-07 14:05:57 +02:00
• 48390b8556 reorganize directory and file structure Joeri Exelmans 2025-05-07 13:44:49 +02:00
• 1d826ea8d4 parser for types + start moving all types to separate modules Joeri Exelmans 2025-05-06 23:41:12 +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. Joeri Exelmans 2025-05-05 17:17:45 +02:00
• 55c5d7cffa move function Joeri Exelmans 2025-04-20 21:14:40 +02:00
• 8a4bd44f04 rename some things Joeri Exelmans 2025-04-20 21:09:51 +02:00
• e04cac4f7d move function Joeri Exelmans 2025-04-20 11:30:28 +02:00
• c1ac3c0d60 add type comparison function Joeri Exelmans 2025-04-20 11:24:05 +02:00
• 3be17c1148 doc Joeri Exelmans 2025-04-18 09:14:55 +02:00