Chris Done
|
7e0cf77227
|
Start of decls
|
2017-10-22 19:04:35 +01:00 |
|
Chris Done
|
851275544b
|
Remove mode
|
2017-10-22 17:25:47 +01:00 |
|
Chris Done
|
5aca3899b9
|
Remove maybeness
|
2017-10-22 17:23:47 +01:00 |
|
Chris Done
|
95efabd758
|
Function app editing
|
2017-10-22 17:09:44 +01:00 |
|
Chris Done
|
1095c38bb5
|
Func app editing
|
2017-10-22 13:52:53 +01:00 |
|
Chris Done
|
30518041fe
|
Deleting cases
|
2017-10-22 13:30:29 +01:00 |
|
Chris Done
|
dc7660f5ad
|
Deleting argument of function
|
2017-10-22 12:54:46 +01:00 |
|
Chris Done
|
9e200f1bc4
|
WIP
|
2017-10-22 12:43:57 +01:00 |
|
Chris Done
|
acd61edf79
|
Backspace key
|
2017-10-22 12:17:47 +01:00 |
|
Chris Done
|
ca59143e41
|
Added a bit of style
|
2017-10-22 12:11:04 +01:00 |
|
Chris Done
|
57f6d15813
|
Add case
|
2017-10-22 11:20:01 +01:00 |
|
Chris Done
|
7f7864d356
|
Promotion
|
2017-10-21 18:19:25 +01:00 |
|
Chris Done
|
aa4e6aa6c6
|
Implement function application
|
2017-10-21 16:33:04 +01:00 |
|
Chris Done
|
21a6909649
|
Basic variable typing
|
2017-10-21 15:54:58 +01:00 |
|
Chris Done
|
be79cb256a
|
Auto-create variable node
|
2017-10-21 15:35:47 +01:00 |
|
Chris Done
|
34793412c8
|
Add JSON instances
|
2017-10-21 15:28:18 +01:00 |
|
Chris Done
|
ab71126471
|
Add NFData instances
|
2017-10-21 15:07:35 +01:00 |
|
Chris Done
|
4ccb1da245
|
WIP
|
2017-10-21 14:43:27 +01:00 |
|
Chris Done
|
3a7b54fed5
|
UUIDs
|
2017-10-21 14:37:52 +01:00 |
|
Chris Done
|
bc0e19e031
|
Start of React version of IDE
|
2017-10-21 14:28:59 +01:00 |
|
Chris Done
|
45e57de808
|
Add a focus field
|
2017-10-14 23:30:14 +01:00 |
|
Chris Done
|
5ba0607c7c
|
Placeholder *.Advanced module
|
2017-10-11 16:37:18 +01:00 |
|
Chris Done
|
2efe96636d
|
Added --install-ghc to build.sh
|
2017-10-11 16:37:00 +01:00 |
|
Chris Done
|
f6c44372e7
|
WIP: custom DOM event processing
|
2017-10-11 01:07:58 +01:00 |
|
Chris Done
|
6bb8d188d3
|
Add key events
|
2017-10-11 00:51:45 +01:00 |
|
Chris Done
|
a176f198fa
|
Color
|
2017-10-07 17:46:46 +01:00 |
|
Chris Done
|
838edb60c1
|
Parent input widgets update when children change
|
2017-10-07 17:43:06 +01:00 |
|
Chris Done
|
490195ab37
|
Switch to textarea
|
2017-10-07 17:08:53 +01:00 |
|
Chris Done
|
35fb997be7
|
Reformat
|
2017-10-07 17:06:40 +01:00 |
|
Chris Done
|
891077aaae
|
Small refac and params
|
2017-10-07 17:06:18 +01:00 |
|
Chris Done
|
8a4631ab68
|
Case editor
|
2017-10-07 16:51:59 +01:00 |
|
Chris Done
|
484a8c59ae
|
Start of case editor
|
2017-10-07 15:45:47 +01:00 |
|
Chris Done
|
20122f4e1b
|
Make Editor type
|
2017-10-07 13:33:48 +01:00 |
|
Chris Done
|
60ee09b308
|
Add lambda
|
2017-10-07 13:12:00 +01:00 |
|
Chris Done
|
5d39c96765
|
Alts fleshed out
|
2017-10-06 18:45:07 +01:00 |
|
Chris Done
|
0c79fd26c2
|
Alt, pat, param
|
2017-10-06 18:40:12 +01:00 |
|
Chris Done
|
aca9fa2a1e
|
Operator editor
|
2017-10-06 18:08:40 +01:00 |
|
Chris Done
|
1301918e12
|
Comment
|
2017-10-05 18:59:13 +01:00 |
|
Chris Done
|
ffb61ab817
|
Generalize
|
2017-10-05 18:57:43 +01:00 |
|
Chris Done
|
ebba1f2312
|
Add other stuff
|
2017-10-05 18:53:02 +01:00 |
|
Chris Done
|
f3667f72a0
|
Add If
|
2017-10-05 18:45:37 +01:00 |
|
Chris Done
|
3463964e10
|
Cleanup
|
2017-10-05 18:41:44 +01:00 |
|
Chris Done
|
938bf039cf
|
WIP
|
2017-10-05 17:18:10 +01:00 |
|
Chris Done
|
5f71be6d3c
|
Fix lookup for explicitly typed bindings
|
2017-07-26 11:44:22 +01:00 |
|
Chris Done
|
c6562ac10e
|
Hide terminal e.g. for now
|
2017-07-25 14:36:59 +01:00 |
|
Chris Done
|
f9d81680c8
|
Add Terminal type to web UI
|
2017-07-25 12:06:50 +01:00 |
|
Chris Done
|
c797aa3755
|
Allow empty strings
|
2017-07-25 11:23:06 +01:00 |
|
Chris Done
|
b174e2847c
|
Add pattern matching for strings
|
2017-07-25 11:10:09 +01:00 |
|
Chris Done
|
5d5af96e17
|
Add append for strings
|
2017-07-25 11:04:50 +01:00 |
|
Chris Done
|
6cbf4d1d44
|
Add "Show Dictionaries" checkbox
|
2017-07-25 09:58:12 +01:00 |
|