Skip to content

Activity

Fix elaboration and bookkeeping for datatypes

UberPyropushed 1 commit to add-datatypes • 9481eff…1249a7e • 
on Oct 10, 2023

Implement elaboration for datatypes

UberPyropushed 1 commit to add-datatypes • fdd9112…9481eff • 
on Oct 10, 2023

Add syntax for datatypes

UberPyropushed 1 commit to add-datatypes • 64b7792…fdd9112 • 
on Oct 9, 2023

Remove list types

UberPyrocreated add-datatypes • 64b7792 • 
on Oct 9, 2023

Remove list types

UberPyropushed 1 commit to refactor5 • 91a7bb6…64b7792 • 
on Oct 9, 2023

Add a range function

UberPyropushed 1 commit to refactor5 • bd2d480…91a7bb6 • 
on Oct 7, 2023

show > parse in fizzbuzz example

UberPyropushed 1 commit to refactor5 • 0a2f3a4…bd2d480 • 
on Oct 7, 2023

Test lists

UberPyropushed 1 commit to refactor5 • 2166cb9…0a2f3a4 • 
on Oct 7, 2023

Fix typechecking of a bunch of combinators

UberPyropushed 1 commit to refactor5 • 8ec3cbc…2166cb9 • 
on Oct 7, 2023

Add some more useful functions

UberPyropushed 1 commit to refactor5 • 4ae4151…8ec3cbc • 
on Oct 7, 2023

Add sanitization function

UberPyropushed 1 commit to refactor5 • 2c01f24…4ae4151 • 
on Oct 7, 2023

Implement type rules for stream enqueue and push

UberPyropushed 1 commit to refactor5 • cb256e8…2c01f24 • 
on Oct 7, 2023

Add a fizzbuzz example

UberPyropushed 1 commit to refactor5 • 8ed23ad…cb256e8 • 
on Oct 7, 2023

Get rid of some tokens

UberPyropushed 1 commit to refactor5 • 889579c…8ed23ad • 
on Oct 7, 2023

Delete more of lists

UberPyropushed 1 commit to refactor5 • 604c9d5…889579c • 
on Oct 7, 2023

Delete lists

UberPyropushed 1 commit to refactor5 • 5279b52…604c9d5 • 
on Oct 7, 2023

Delete some unused functions

UberPyropushed 1 commit to refactor5 • 267ddd1…5279b52 • 
on Oct 7, 2023

Rid unnecessary code, remove var case distinction

UberPyropushed 1 commit to refactor5 • 5a36ee8…267ddd1 • 
on Oct 7, 2023

Make small changes

UberPyrocreated refactor5 • 5a36ee8 • 
on Oct 7, 2023

Make small changes

UberPyropushed 1 commit to refactor4 • 8630153…5a36ee8 • 
on Oct 7, 2023

Refactor type errors from their error messages

UberPyropushed 1 commit to refactor4 • 83a226d…8630153 • 
on Jul 27, 2023

Put infer error definition on one line

UberPyropushed 1 commit to refactor4 • 9b777b9…83a226d • 
on Jul 25, 2023

Fix mistake with modes

UberPyropushed 1 commit to refactor4 • 2d106ab…9b777b9 • 
on Jul 25, 2023

Simplify

UberPyropushed 1 commit to refactor4 • a8204fe…2d106ab • 
on Jul 25, 2023

Tighten some modes further

UberPyropushed 1 commit to refactor4 • 0fcbe21…a8204fe • 
on Jul 25, 2023

Make backwards modes for infix operators much more restrictive

UberPyropushed 1 commit to refactor4 • 26c0ff4…0fcbe21 • 
on Jul 25, 2023

det_test.prw no longer broken

UberPyropushed 1 commit to refactor4 • fc70cb9…26c0ff4 • 
on Jul 25, 2023

Add simplfiier back to ubool printer

UberPyropushed 1 commit to refactor4 • 22acb8e…fc70cb9 • 
on Jul 25, 2023

Remove test files

UberPyropushed 1 commit to refactor4 • 12dc8f4…22acb8e • 
on Jul 25, 2023

Change keyword for costack colambdas

UberPyropushed 1 commit to refactor4 • 3d6abcd…12dc8f4 • 
on Jul 25, 2023