msyds/rlp
1
0 Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity
460 Commits 19 Branches 2 Tags
48ccda95497cdceffa261583eb31d2f03b2d473b
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
crumbtoo 48ccda9549 typCheckRlpProgR forgot to solve constraints 💀 2024-04-15 10:07:21 -06:00
crumbtoo 010c719eac infer under given context 2024-04-15 10:07:21 -06:00
crumbtoo c72d93216a begin hm visualiser 2024-04-15 10:07:21 -06:00
crumbtoo 623acb3454 pretty -> prettyprinter 2024-04-15 10:07:21 -06:00
crumbtoo 175e58f13c html 2024-04-15 10:07:21 -06:00
crumbtoo 257d12e532 seems to work 2024-04-15 10:07:21 -06:00
crumbtoo 37e0c9308c preparing for rewrite #100 2024-04-15 10:07:21 -06:00
crumbtoo 8ba20a5948 fix: vlbrace error should popLayout 2024-04-15 10:07:21 -06:00
crumbtoo de41536e1d 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-04-15 10:07:21 -06:00
crumbtoo 07973ca500 aoooohhh 2024-04-15 10:07:21 -06:00
crumbtoo 52657a6a14 parse lambda 2024-04-15 10:07:21 -06:00
crumbtoo 24b4187df0 mgu 2024-04-15 10:07:21 -06:00
crumbtoo 28ed317147 refactor gather 2024-04-15 10:07:21 -06:00
crumbtoo 407a8f0a16 begin gathering 
begin gathering
 2024-04-15 10:07:21 -06:00
crumbtoo 67c88df53a derive 2024-04-15 10:07:21 -06:00
crumbtoo 2be210bb9b lift1 fix 2024-04-15 10:07:21 -06:00
crumbtoo 40a6ca8e37 tysigd 2024-04-15 10:07:20 -06:00
crumbtoo 142c53a553 caseE 2024-04-15 10:07:20 -06:00
crumbtoo 1b1185648a ohhhh 2024-04-15 10:07:20 -06:00
crumbtoo 1f3dd80127 pretty 2024-04-15 10:07:20 -06:00
crumbtoo 70a28f4eec lintCoreProg 2024-04-15 10:07:20 -06:00
crumbtoo 63768605fa system F 2024-04-15 10:07:20 -06:00
crumbtoo 00e085135c almost done 2024-04-15 10:07:20 -06:00
crumbtoo d181df7b2c pretty-printing 2024-04-15 10:07:20 -06:00
crumbtoo a6e267fc29 terse pretty-printing 2024-04-15 10:07:20 -06:00
crumbtoo 4c453d334c parse 2024-04-15 10:07:20 -06:00
crumbtoo 57eeed17a3 it may not be perfection but it is progress 2024-04-15 10:07:20 -06:00
crumbtoo 6086402d4e HasBinders Binding 2024-04-15 10:07:20 -06:00
crumbtoo b8e1ef7b94 HasBinders Program 2024-04-15 10:07:20 -06:00
crumbtoo 03963832e0 fromString for Fix 2024-04-15 10:07:20 -06:00
crumbtoo e6a5665d4a Eq1 2024-04-15 10:07:20 -06:00
crumbtoo 2daf24acac Eq1 2024-04-15 10:07:20 -06:00
crumbtoo 8c0d0b6fe1 instances for Fix 2024-04-15 10:07:20 -06:00
crumbtoo e720876407 instances (finally) 2024-04-15 10:07:20 -06:00
crumbtoo ea61c11373 Bi{foldable,functor,traversable} 2024-04-15 10:07:20 -06:00
crumbtoo 5bf83ffbaf instance hell 2024-04-15 10:07:20 -06:00
crumbtoo 65b9228794 clisp->sbcl 2024-04-15 10:07:20 -06:00
crumbtoo 627933d4f1 stopping for a bit 2024-04-15 10:07:20 -06:00
crumbtoo de3c39d118 parser compiles 2024-04-15 10:07:20 -06:00
crumbtoo 4a120f9899 things 2024-04-15 10:07:20 -06:00
crumbtoo 45a6609152 things 2024-04-15 10:07:20 -06:00
crumbtoo f691115868 fix hardcoded builddir 2024-04-15 10:07:20 -06:00
crumbtoo 50fac603b9 fix default prettyPrec definition 2024-04-15 10:07:20 -06:00
crumbtoo 9b8630db90 good enough 2024-04-15 10:07:20 -06:00
crumbtoo 6d4585a46b ohhhhhhhh 2024-04-15 10:07:20 -06:00
crumbtoo 2858cff882 why did i do this to myself 2024-04-15 10:07:20 -06:00
crumbtoo eb165c99fa i want to fucking die 2024-04-15 10:07:20 -06:00
crumbtoo 9c498bd0ea backstage 2024-04-15 10:07:20 -06:00
crumbtoo 22f19ce9a5 something 2024-04-15 10:07:20 -06:00
crumbtoo 709123d68e HasLocation 
HasLocation
 2024-04-15 10:07:20 -06:00
crumbtoo 953086d751 SrcSpan 2024-04-15 10:07:20 -06:00
crumbtoo a72b771506 no-ttg 2024-04-15 10:07:20 -06:00
crumbtoo e63824e035 no-ttg 2024-04-15 10:07:20 -06:00
crumbtoo 1a0ef46df8 bump 2024-04-15 10:02:36 -06:00
crumbtoo 1436f1124f Merge branch 'main' into dev 2024-02-16 13:12:14 -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