Commit graph

Select branches

Hide pull requests

master

Mono Color

• edb614f9aa bump dependencies, render values and slots master Joeri Exelmans 2025-06-08 14:47:20 +02:00
• 8a9fd5ebfe add example Joeri Exelmans 2025-06-06 15:30:13 +02:00
• bdd7dabc90 add versioning module Joeri Exelmans 2025-06-06 11:44:44 +02:00
• 6809674406 add example Joeri Exelmans 2025-06-05 15:06:21 +02:00
• 9bab65167b bump dependencies + proper toolbar line breaks Joeri Exelmans 2025-06-05 10:24:46 +02:00
• 4a89ccd5d1 fix factorial example Joeri Exelmans 2025-06-02 10:34:04 +02:00
• 7b6d18bc6a forgot file Joeri Exelmans 2025-05-31 11:11:39 +02:00
• 7fafa35b4b small usability changes Joeri Exelmans 2025-05-28 12:51:37 +02:00
• 8385f08923 add deep evaluation + remove environment React context (passed via typeInfo instead) + improve highlighting of statically unknown values Joeri Exelmans 2025-05-28 12:20:31 +02:00
• 8576f7cb8d cleanup CSS Joeri Exelmans 2025-05-28 11:36:55 +02:00
• 2d95fdf07a clean up Joeri Exelmans 2025-05-28 11:27:04 +02:00
• dcd213102f cleanup CSS a bit Joeri Exelmans 2025-05-28 11:24:37 +02:00
• 955bb17f9a display dynamic errors too Joeri Exelmans 2025-05-28 08:13:33 +02:00
• abd3bd3645 nicer looking types Joeri Exelmans 2025-05-27 13:20:09 +02:00
• 428e8cd298 better error handling Joeri Exelmans 2025-05-27 12:44:57 +02:00
• 7edf44f107 visualize type unification substitutions Joeri Exelmans 2025-05-27 11:17:32 +02:00
• 4a4cee6ee9 deal with eval errors Joeri Exelmans 2025-05-27 10:56:14 +02:00
• 32bdc23ea7 wrote interpreter (independent of type inferencer) Joeri Exelmans 2025-05-26 15:34:50 +02:00
• 2279c54229 Type inference for recursive let...in... working. Update factorial example. Joeri Exelmans 2025-05-26 14:59:17 +02:00
• d000839878 infer all types once at the root level, and pass the result down deeply Joeri Exelmans 2025-05-25 08:58:21 +02:00
• b2584a2495 fix type inferencing bug Joeri Exelmans 2025-05-24 18:35:06 +02:00
• 69175c8cb1 suggestions work again, improve error reporting Joeri Exelmans 2025-05-24 09:42:26 +02:00
• 9050581a10 move everything Joeri Exelmans 2025-05-23 22:35:47 +02:00
• 3ff7e76694 one last fix Joeri Exelmans 2025-05-23 20:33:08 +02:00
• ca9af544ba bump dependency (fixes bug) Joeri Exelmans 2025-05-23 19:56:18 +02:00
• c5c5def598 greatly simplify and improve type inferencing - suggestions broken Joeri Exelmans 2025-05-23 19:48:24 +02:00
• c3f7cea310 fix bug in type inferencing Joeri Exelmans 2025-05-21 00:13:17 +02:00
• bb6e742f5f simplify suggestions ordering Joeri Exelmans 2025-05-20 16:53:04 +02:00
• fdbf43a4e9 refactor a bit more Joeri Exelmans 2025-05-20 15:35:39 +02:00
• 230916ceb1 refactor a bit Joeri Exelmans 2025-05-20 14:53:24 +02:00
• 4fee37944d fix configurations Joeri Exelmans 2025-05-20 09:05:18 +02:00
• 5c3018b8c7 hitting spacebar always adds a parameter to the first ancestor that is a CallBlock Joeri Exelmans 2025-05-20 09:02:19 +02:00
• 5b6bcf5ffa everything seems to work ... but code is dirty Joeri Exelmans 2025-05-19 23:59:21 +02:00
• a19dbe1b34 bump dope lib version because a bug was fixed Joeri Exelmans 2025-05-19 17:05:43 +02:00
• f9c28ac8c8 add example: defining a higher-order function (doesn't work yet) Joeri Exelmans 2025-05-19 15:55:04 +02:00
• ec2944cdb7 more improvements Joeri Exelmans 2025-05-19 15:43:11 +02:00
• d877b42a12 much improved type inferencing Joeri Exelmans 2025-05-19 15:01:30 +02:00
• 28e5032923 small changes - disable suggestions temporarily Joeri Exelmans 2025-05-18 12:01:56 +02:00
• 93f665ba8f rename Editor -> ExprBlock Joeri Exelmans 2025-05-18 11:10:25 +02:00
• fe83532261 more cleanup Joeri Exelmans 2025-05-18 11:05:03 +02:00
• 802373ba16 cleanup more Joeri Exelmans 2025-05-18 10:59:25 +02:00
• 1d54ac1433 cleanup code Joeri Exelmans 2025-05-18 10:53:51 +02:00
• c45f19143b improve type inferencing + fix bug in CallBlock suggestion priorities Joeri Exelmans 2025-05-18 10:33:43 +02:00
• 24689b3783 correct suggestion order also in body of lambda function Joeri Exelmans 2025-05-17 23:32:35 +02:00
• 1ff4b181ff fix suggestion order Joeri Exelmans 2025-05-17 22:40:17 +02:00
• 46baad7cf4 self-host fonts; proper error bubbling Joeri Exelmans 2025-05-17 18:01:31 +02:00
• 68104a8102 add example + only show scrollbars in Chrome when necessary Joeri Exelmans 2025-05-17 12:13:44 +02:00
• 51ff4d24b0 eval lambda block: bubble up substitutions Joeri Exelmans 2025-05-17 12:06:27 +02:00
• 496463bbac use unused typevar when encountering unknown value or lambda parameter - type inferencing still not entirely correct Joeri Exelmans 2025-05-17 10:38:54 +02:00
• d7a4e210a2 can disable syntactic sugar also for let...in... blocks + nicer looking fn input parameters Joeri Exelmans 2025-05-17 09:50:16 +02:00
• e850952738 nicer looking Joeri Exelmans 2025-05-17 09:25:13 +02:00
• 8abbac4bc9 Let ... in ... block autocomplete also sorted by best 'match', type-wise Joeri Exelmans 2025-05-16 08:51:58 +02:00
• 2d81e42447 change the way text suggestions are rendered + option to disable syntactic sugar Joeri Exelmans 2025-05-15 22:22:45 +02:00
• ea8c015eff when sorting suggestions, not only function and input type are matched, but also output type (=input of surrounding function) Joeri Exelmans 2025-05-15 10:09:22 +02:00
• d3138e6617 add 'filter' property to CallBlock to prepare to filter suggestions on output type Joeri Exelmans 2025-05-14 10:36:49 +02:00
• 0a8d430d3a fix suggestion order Joeri Exelmans 2025-05-14 10:29:07 +02:00
• 18e28fe8b0 small fix Joeri Exelmans 2025-05-14 08:19:50 +02:00
• 5964510036 greatly simplify state + cleanup code Joeri Exelmans 2025-05-14 08:09:35 +02:00
• 2d0deca127 don't re-compute values on first render (unnecessary, values are part of state) Joeri Exelmans 2025-05-14 06:46:03 +02:00
• 174bab79e4 now it really works! Joeri Exelmans 2025-05-13 20:56:16 +02:00
• c31ba88dfd when currying, errors highlight the offending parameter (almost) Joeri Exelmans 2025-05-13 18:54:31 +02:00
• 35d1034c67 greatly simplified app Joeri Exelmans 2025-05-13 18:29:37 +02:00
• 9c0c2dab90 trying to simplify things a bit more... will get rid of 'onResolve' Joeri Exelmans 2025-05-13 16:33:25 +02:00
• 897824e07d Let ... in ... block is working Joeri Exelmans 2025-05-13 15:06:15 +02:00
• f09261df93 move 'env' from state to context Joeri Exelmans 2025-05-13 14:33:35 +02:00
• 9ef160aeb7 simplify some things Joeri Exelmans 2025-05-13 13:11:57 +02:00
• fa70d2f3f4 further improved keyboard handling Joeri Exelmans 2025-05-13 00:15:47 +02:00
• 95eb8aef84 better-looking parameters Joeri Exelmans 2025-05-12 23:40:58 +02:00
• 9afaa41fbb implement nested handlers in call block Joeri Exelmans 2025-05-12 17:18:57 +02:00
• 1f831b0517 simple undo/redo of application state Joeri Exelmans 2025-05-12 16:45:17 +02:00
• 8744bad0b8 nicer, nested rendering when currying Joeri Exelmans 2025-05-12 16:26:25 +02:00
• f75d0641b4 set default editor state to something non-empty Joeri Exelmans 2025-05-12 15:50:13 +02:00
• 0a9dbd454f simplify rollback Joeri Exelmans 2025-05-12 11:26:37 +02:00
• ebae0afc81 more progress Joeri Exelmans 2025-05-12 11:11:18 +02:00
• 2b0d8bc2c6 a bit more progress Joeri Exelmans 2025-05-12 00:02:14 +02:00
• a9ae4f9888 decent progress Joeri Exelmans 2025-05-11 22:54:23 +02:00
• e901fc3f76 making some good progress Joeri Exelmans 2025-05-11 13:22:12 +02:00
• 5f3d697866 use <div> with property 'contenteditable' to accept text input (much simpler) Joeri Exelmans 2025-05-10 22:01:24 +02:00
• cc65498b12 delete README Joeri Exelmans 2025-05-10 16:38:19 +02:00
• d05d9125c9 very simple hacked-together auto-completion demo Joeri Exelmans 2025-05-10 16:36:49 +02:00