dustinswan

0 followers · 0 following

• Joined on 2026-03-16

Repositories

13

Projects Packages Public activity Starred repositories

dustinswan pushed to master at dustinswan/cg 2026-04-02 03:39:13 +00:00

ed103ed2cb Module syntax. doesn't really do anything yet. well, it groups definitions

dustinswan pushed to master at dustinswan/cg 2026-04-02 01:43:49 +00:00

d3248be4d9 Records now hoist their fields if they reference other fields so we can have circular

dustinswan pushed to master at dustinswan/cg 2026-04-01 23:27:13 +00:00

a76f4cc332 More layout fun.

dustinswan pushed to master at dustinswan/cg 2026-04-01 22:25:29 +00:00

790258b386 Updating layout to work for horizontal too

dustinswan pushed to master at dustinswan/cg 2026-04-01 22:00:23 +00:00

6656b90717 Fixing multi argument Constructors. Adding a layout system! Flex and fixed within a column

dustinswan pushed to master at dustinswan/cg 2026-03-29 04:39:23 +00:00

ef48a4f468 Can now save (apply) stuff from textEditor with annotations

dustinswan pushed to master at dustinswan/cg 2026-03-29 04:19:31 +00:00

479abf7996 Fixing constraint bug, pretty printing constraints

dustinswan pushed to master at dustinswan/cg 2026-03-29 03:39:57 +00:00

784e095345 Type constraints

dustinswan pushed to master at dustinswan/cg 2026-03-29 03:18:35 +00:00

f1bba4f58d Exhaustiveness checking

dustinswan pushed to master at dustinswan/cg 2026-03-29 02:50:38 +00:00

1f3a999092 Types

dustinswan pushed to master at dustinswan/cg 2026-03-28 03:58:14 +00:00

2b710602d3 Adding more types to my stdlib functions. Cleaning up type checker

dustinswan pushed to master at dustinswan/cg 2026-03-28 01:57:55 +00:00

850219cdec filling in the typeclasses! fun!

dustinswan pushed to master at dustinswan/cg 2026-03-27 04:19:13 +00:00

1a65db6aac List spread type checking

dustinswan pushed to master at dustinswan/cg 2026-03-27 04:04:21 +00:00

bc5027ddc1 cleaning

dustinswan pushed to master at dustinswan/cg 2026-03-27 03:47:54 +00:00

0514889ba6 Type constructors work in typeclass instances

dustinswan pushed to master at dustinswan/cg 2026-03-27 03:41:21 +00:00

82816e7fad Typo

dustinswan pushed to master at dustinswan/cg 2026-03-27 03:38:35 +00:00

8020f9d1a0 Typeclasses

dustinswan pushed to master at dustinswan/cg 2026-03-27 02:04:48 +00:00

a4daf88085 Type checking unannotated expressions

dustinswan pushed to master at dustinswan/cg 2026-03-27 02:01:09 +00:00

de83eb6fcd More type checking

dustinswan pushed to master at dustinswan/cg 2026-03-27 01:49:34 +00:00

668ee3e4d8 Type constructors