|
|
d3248be4d9
|
Records now hoist their fields if they reference other fields so we can have circular
|
2026-04-01 19:43:45 -06:00 |
|
|
|
a76f4cc332
|
More layout fun.
|
2026-04-01 17:27:09 -06:00 |
|
|
|
790258b386
|
Updating layout to work for horizontal too
|
2026-04-01 16:25:26 -06:00 |
|
|
|
6656b90717
|
Fixing multi argument Constructors. Adding a layout system! Flex and fixed within a column
|
2026-04-01 16:00:11 -06:00 |
|
|
|
ef48a4f468
|
Can now save (apply) stuff from textEditor with annotations
|
2026-03-28 22:39:20 -06:00 |
|
|
|
479abf7996
|
Fixing constraint bug, pretty printing constraints
|
2026-03-28 22:19:27 -06:00 |
|
|
|
784e095345
|
Type constraints
|
2026-03-28 21:39:53 -06:00 |
|
|
|
f1bba4f58d
|
Exhaustiveness checking
|
2026-03-28 21:18:33 -06:00 |
|
|
|
1f3a999092
|
Types
|
2026-03-28 20:50:34 -06:00 |
|
|
|
2b710602d3
|
Adding more types to my stdlib functions. Cleaning up type checker
|
2026-03-27 21:58:11 -06:00 |
|
|
|
850219cdec
|
filling in the typeclasses! fun!
|
2026-03-27 19:57:43 -06:00 |
|
|
|
1a65db6aac
|
List spread type checking
|
2026-03-26 22:19:09 -06:00 |
|
|
|
bc5027ddc1
|
cleaning
|
2026-03-26 22:04:18 -06:00 |
|
|
|
0514889ba6
|
Type constructors work in typeclass instances
|
2026-03-26 21:47:51 -06:00 |
|
|
|
82816e7fad
|
Typo
|
2026-03-26 21:41:18 -06:00 |
|
|
|
8020f9d1a0
|
Typeclasses
|
2026-03-26 21:38:32 -06:00 |
|
|
|
a4daf88085
|
Type checking unannotated expressions
|
2026-03-26 20:04:46 -06:00 |
|
|
|
de83eb6fcd
|
More type checking
|
2026-03-26 20:01:06 -06:00 |
|
|
|
668ee3e4d8
|
Type constructors
|
2026-03-26 19:49:28 -06:00 |
|
|
|
635f12490d
|
Adding some sigs. Fixing recrusion in type checking
|
2026-03-26 19:16:48 -06:00 |
|
|
|
b97eb52c21
|
Fixing some unchecked errors
|
2026-03-26 18:55:20 -06:00 |
|
|
|
f272ffaca2
|
We're checking types!!!!
|
2026-03-26 18:32:40 -06:00 |
|
|
|
f3c3a76671
|
Switching to ML style type annotations. not separate statement from the expression
|
2026-03-26 16:05:22 -06:00 |
|
|
|
6acec5641c
|
fixing pretty print issue. AND making it so it only looks for object's own properties when doing getAt
|
2026-03-25 20:18:13 -06:00 |
|
|
|
3132b79aae
|
Starting to add types
|
2026-03-25 19:58:37 -06:00 |
|
|
|
a8e879289d
|
More vi motions
|
2026-03-21 11:31:47 -06:00 |
|
|
|
9fdbdf448f
|
Drying up some code
|
2026-03-19 21:11:19 -06:00 |
|
|
|
7e6d79582f
|
$ for end of line. cleaning up some stuff
|
2026-03-19 21:06:09 -06:00 |
|
|
|
d0e900a974
|
x to delete char
|
2026-03-19 20:40:38 -06:00 |
|
|
|
0d43dc0128
|
dot in textEditor to repeat last action
|
2026-03-19 20:21:26 -06:00 |
|
|
|
717ec2048b
|
Backwards motions and deletions
|
2026-03-18 20:04:25 -06:00 |
|
|
|
a3b815b449
|
Getting vim motion architecture started. deleteWord added. Changing deleteLine to use it.
|
2026-03-18 19:29:53 -06:00 |
|
|
|
78fa27f70a
|
isWordChar
|
2026-03-15 20:08:34 -06:00 |
|
|
|
fcce2ac4c0
|
refactoring key events so all Insert mode are together... may regret that later but its cleaner now. Getting delete line working
|
2026-03-12 21:04:52 -06:00 |
|
|
|
7a97ec3f90
|
texteditor. 'o' key
|
2026-03-04 17:56:53 -07:00 |
|
|
|
295a8a5e24
|
More pretty printer
|
2026-02-27 21:40:58 -07:00 |
|
|
|
4904b7df7f
|
ctrl-d and ctrl-u for half scrolling
|
2026-02-26 21:53:54 -07:00 |
|
|
|
4ba3eda57a
|
More pretty printer stuff. fixing infix. fixing indents
|
2026-02-26 21:39:11 -07:00 |
|
|
|
15f6124173
|
Ability to delete from store
|
2026-02-26 21:21:49 -07:00 |
|
|
|
3267d5bc39
|
textEditor scrolling. only rendering the lines that are in the viewport. smooth. better prettyPrinting of match inside lambda
|
2026-02-26 21:03:08 -07:00 |
|
|
|
f54b8ca65e
|
Better pretty printing. scrolling in the textEditor
|
2026-02-26 20:29:37 -07:00 |
|
|
|
f1ff6c29d6
|
textEditor can save to a textEditorBuffers list with the W command. it can apply back to the original store ref with the A command. Crazy man
|
2026-02-26 16:51:34 -07:00 |
|
|
|
b0726bc0fb
|
Undo and redo!
|
2026-02-26 15:03:05 -07:00 |
|
|
|
63f599b850
|
More editor stuff
|
2026-02-25 23:27:06 -07:00 |
|
|
|
735db38a2f
|
omg i'm text editing
|
2026-02-25 21:48:28 -07:00 |
|
|
|
824d4f61de
|
textEditor is happening
|
2026-02-25 18:41:56 -07:00 |
|
|
|
cbab2a3417
|
Fixing tree after making paths lists. more font stuff. fixing rebind from the palette
|
2026-02-24 21:53:19 -07:00 |
|
|
|
414fc5d79c
|
More font crap. fixing getField typo.
|
2026-02-24 17:48:40 -07:00 |
|
|
|
c0a8d29119
|
2nd font
|
2026-02-24 17:20:12 -07:00 |
|
|
|
169b067050
|
Rendering my disgusting font. using it in a few places. wow its hideous
|
2026-02-23 23:47:58 -07:00 |
|
