msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity
455 Commits 19 Branches 2 Tags
functor-sum-test
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
crumbtoo 8fd75a67d3 seems to work 2024-03-13 18:10:29 -06:00
crumbtoo e00e0eff3b preparing for rewrite #100 2024-03-13 16:06:20 -06:00
crumbtoo 8d8651d549 fix: vlbrace error should popLayout 2024-03-11 11:05:50 -06:00
crumbtoo cf81b76c1a algW 
i'm honestly rather disappointed in myself for not implementing a comonadic algo J.
cross my heart i'll come back to this and return stronger!
in the mean time, i really need to get this thing into a presentable state...
 2024-03-11 10:36:38 -06:00
crumbtoo 35c770c63c aoooohhh 2024-03-11 09:26:53 -06:00
crumbtoo e93548963a parse lambda 2024-03-08 16:28:40 -07:00
crumbtoo 215feb433b mgu 2024-03-07 10:20:42 -07:00
crumbtoo f6035b8a6a refactor gather 2024-03-06 17:46:35 -07:00
crumbtoo fe44fbfc77 begin gathering 
begin gathering
 2024-03-06 11:37:37 -07:00
crumbtoo 18e87c540b derive 2024-03-06 10:07:00 -07:00
crumbtoo 2d15dbb7ee lift1 fix 2024-03-05 13:08:15 -07:00
crumbtoo 156ef8d0a7 tysigd 2024-03-04 10:47:58 -07:00
crumbtoo c85c47839a caseE 2024-03-04 10:26:04 -07:00
crumbtoo 468d6e7745 ohhhh 2024-03-03 14:52:27 -07:00
crumbtoo 1b56a7a627 pretty 2024-03-03 14:09:10 -07:00
crumbtoo 451b003e08 lintCoreProg 2024-03-01 11:18:19 -07:00
crumbtoo c026f6f8f9 system F 2024-02-29 09:52:08 -07:00
crumbtoo 16f7f51fb8 almost done 2024-02-27 14:48:02 -07:00
crumbtoo f8201b7d61 pretty-printing 2024-02-27 07:56:25 -07:00
crumbtoo b67fe4eb2d terse pretty-printing 2024-02-27 06:14:02 -07:00
crumbtoo 1315ea7ea8 parse 2024-02-27 05:12:19 -07:00
crumbtoo d60bd86842 it may not be perfection but it is progress 2024-02-26 18:18:02 -07:00
crumbtoo c226b2da88 HasBinders Binding 2024-02-26 17:03:20 -07:00
crumbtoo 893a01a8bb HasBinders Program 2024-02-26 16:41:54 -07:00
crumbtoo 4bbf3a3afe fromString for Fix 2024-02-26 14:59:37 -07:00
crumbtoo c8967572a6 Eq1 2024-02-26 14:58:17 -07:00
crumbtoo 30fe41ce97 Eq1 2024-02-26 14:57:22 -07:00
crumbtoo 8c2ea566dc instances for Fix 2024-02-26 14:29:57 -07:00
crumbtoo d9682561b8 instances (finally) 2024-02-26 12:23:21 -07:00
crumbtoo 4225bf8066 Bi{foldable,functor,traversable} 2024-02-26 10:41:41 -07:00
crumbtoo 15f65a79f6 instance hell 2024-02-26 10:12:33 -07:00
crumbtoo 240db0df3d clisp->sbcl 2024-02-23 20:34:38 -07:00
crumbtoo a582cd9fcf stopping for a bit 2024-02-22 15:56:00 -07:00
crumbtoo a50a4590c5 parser compiles 2024-02-22 15:08:55 -07:00
crumbtoo d3bcbf9624 things 2024-02-22 14:05:29 -07:00
crumbtoo fd47599b06 things 2024-02-22 14:05:24 -07:00
crumbtoo a7dd852464 fix hardcoded builddir 2024-02-22 10:51:43 -07:00
crumbtoo a2ad7856a6 fix default prettyPrec definition 2024-02-22 08:57:35 -07:00
crumbtoo c0baf46f29 Merge branch 'no-ttg' into dev 2024-02-22 08:15:03 -07:00
crumbtoo 09f393af89 good enough 2024-02-20 14:34:42 -07:00
crumbtoo e63e34a3d8 ohhhhhhhh 2024-02-20 11:52:44 -07:00
crumbtoo 13e8701b8a why did i do this to myself 2024-02-20 11:26:35 -07:00
crumbtoo 66c3d878c2 i want to fucking die 2024-02-20 11:10:33 -07:00
crumbtoo 820bd7cdbc backstage 2024-02-17 01:56:29 -07:00
crumbtoo 9297d815d6 something 2024-02-16 18:23:02 -07:00
crumbtoo 910cf66468 HasLocation 
HasLocation
 2024-02-16 18:03:49 -07:00
crumbtoo da81a5a98e SrcSpan 2024-02-16 16:14:38 -07:00
crumbtoo caeec216b5 no-ttg 2024-02-16 15:11:08 -07:00
crumbtoo 1436f1124f Merge branch 'main' into dev 2024-02-16 13:12:14 -07:00
crumbtoo e9cab1ddaf no-ttg 2024-02-15 18:27:04 -07:00
crumbtoo 2e13ec2cf4 microlens -> lens 
i still love you microlens..
 2024-02-13 13:42:43 -07:00
crumbtoo ccc71a751c remove bad, incorrct, outdated docs 2024-02-13 13:20:39 -07:00
crumbtoo c57da862ae update readme 2024-02-13 12:57:01 -07:00
crumbtoo 4c9ceb74d1 ready? 2024-02-13 12:52:06 -07:00
crumbtoo 8267548fab remove debug tracers 2024-02-13 12:01:46 -07:00
crumbtoo 968832bfaf remove debug code 2024-02-13 11:51:10 -07:00
crumbtoo 81b019e659 QuickSort example works i'm gonig to cry 2024-02-13 11:50:10 -07:00
crumbtoo cd2a283493 more nightmare GM fixes 2024-02-13 11:48:03 -07:00
crumbtoo bb41d3c196 gte gm prim 2024-02-13 10:42:45 -07:00
crumbtoo de16bf12df fix: tag nested data names 2024-02-13 10:42:17 -07:00
crumbtoo 7b271e5265 bind VarP after pats 2024-02-12 11:52:48 -07:00
crumbtoo af42d4fbd6 print# gm primitive 2024-02-12 11:09:01 -07:00
crumbtoo 8ac301aa48 constants for bool tags 2024-02-12 09:47:16 -07:00
crumbtoo 941f228c6c decent state! 2024-02-12 07:44:10 -07:00
crumbtoo dfad80b163 lt 2024-02-12 07:34:16 -07:00
crumbtoo f53d42bf84 typechecking things 2024-02-09 19:07:34 -07:00
crumbtoo 17d764c2ec typed coreExpr quoter 2024-02-09 18:31:37 -07:00
crumbtoo 58838b9527 formatting 2024-02-09 18:07:08 -07:00
crumbtoo 615a6f1b07 update examples 2024-02-09 17:56:38 -07:00
crumbtoo 50a4d0010c small core fixes 2024-02-09 17:44:17 -07:00
crumbtoo c37e8bdf15 Rlp2Core: pattern let binds 2024-02-09 17:04:33 -07:00
crumbtoo 2492660da4 Rlp2Core: simple let binds 2024-02-09 14:46:50 -07:00
crumbtoo 5749c0efd3 Merge branch 'dev' of github.com:msydneyslaga/rlp into dev 2024-02-09 08:11:32 -07:00
crumbtoo 17058d3f8c letrec + typechecking core 2024-02-08 18:40:46 -07:00
crumbtoo a2b4bd2afc examples 2024-02-08 16:43:02 -07:00
crumbtoo 6dd581a25f examples 2024-02-08 16:42:57 -07:00
crumbtoo 1d8eddc63f fix evil lexer bug (it was actually quite subtle unlike prev.) 2024-02-08 16:42:37 -07:00
crumbtoo 5fdba5b862 fix evil parser bug (it was a fucking typo) 2024-02-08 16:29:23 -07:00
crumbtoo 055fbfd40c .hs -> .cr 
update examples
 2024-02-08 14:07:07 -07:00
crumbtoo d2e301fad7 tidying 2024-02-08 14:00:43 -07:00
crumbtoo 8a94288e5a remove unnecessary comment 2024-02-08 12:13:40 -07:00
crumbtoo 1c3286f047 ppr datatags 2024-02-08 12:12:57 -07:00
crumbtoo fba46296db ppr typesigs 2024-02-08 11:40:13 -07:00
crumbtoo 6c943af4a1 ppr debug flags 
ddump-parsed
 2024-02-08 09:31:13 -07:00
crumbtoo 357da25795 diagram 2024-02-08 00:36:31 -07:00
crumbtoo af5463f8f0 diagram 2024-02-08 00:36:23 -07:00
crumbtoo bb2a07d2e9 define datatags 2024-02-07 23:49:08 -07:00
crumbtoo c6f9c615b4 fix top-level layout 2024-02-07 21:38:01 -07:00
crumbtoo 96b73eced0 remove old files 2024-02-07 19:12:48 -07:00
crumbtoo ec5f85f428 remove old files 2024-02-07 19:11:04 -07:00
crumbtoo 80425a274c sigh i'm gonna have to nuke the ast again in a month 2024-02-07 18:52:19 -07:00
crumbtoo 2a51daf356 WIP associate postproc 
corecursive
 2024-02-07 16:01:14 -07:00
crumbtoo 98bed84807 desugar 2024-02-07 15:18:47 -07:00
crumbtoo 719d5a4089 fix incomplete byTag 2024-02-07 14:26:47 -07:00
crumbtoo 77d27dccde tidy 2024-02-07 12:09:16 -07:00
crumbtoo 71170d6d42 NameSupply effect 2024-02-07 11:43:33 -07:00
crumbtoo d6529d50ff tidying 2024-02-07 11:19:36 -07:00
crumbtoo 868b63e6ef her light cuts deep time and time again 
('her' of course referring to the field of computer science)
 2024-02-07 11:08:17 -07:00
crumbtoo 12d261ede1 rose 2024-02-06 18:54:07 -07:00
crumbtoo 2895e3cb48 case unrolling 2024-02-06 13:39:01 -07:00