William Sørensen

docs(misc): Add details for Neovim plugin

2

## Current Behavior Currently, we only list `VS code` and `Webstorm` as supported editor plugins. I have recently created an nvim plugin and felt it would be useful for other...

Add quote integration as optional printing feature

4

I have been working with `litrs` in one of my projects for quite some time and started to get annoyed that there was no `quote` integration. To fix this, I...

feat: add DeepThunk

1

`DeepThunk` corresponds to the (co-)trace of a given polynomial functor, here we add the natural transformation required to generate them. These will later be used to inject into when generating...

Add the notion of a `DeepThunk` and generation for this

1

When it comes to expressing co-recursive functions, a state type is required to seed the progress. This state often also stores at what point the expression is in. This can...

Currently, we implement `cases` using the recursor. This means every time we want to do a cases operation we have to walk the entire datastructure just to throw away the...

In the current system, one can write: ```lean4 data QpfList2 α | nil | cons : α → QpfList2 Bool → QpfList2 α ^^^^ ``` Notice the improper use of...