Stephan Boyer issues

Repositories
Issues
Comments

Results 4 issues of


                                            Stephan Boyer

The `nonce` attr is not added to the `<style>` tag during SSR since v5.2.1+

## Environment ### System: - OS: macOS 11.5.2 - CPU: (12) x64 Intel(R) Core(TM) i7-9750H CPU @ 2.60GHz - Memory: 83.88 MB / 16.00 GB - Shell: 5.8 - /usr/local/bin/zsh...

Add a proof of the correctness of the simplest and most surprising sorting algorithm ever

Add a proof of the correctness of the simplest and most surprising sorting algorithm ever. **Status:** Ready **Fixes:** N/A

Demonstrate that the two styles of CRDTs are equivalent

Demonstrate that the two styles of CRDTs are equivalent. **Status:** WIP **Fixes:** N/A

Implement generalization

Implement generalization. Now ```gram x => x ``` gets elaborated into a term which is alpha-equivalent to: ```gram {a : type} => (x : a) => x ``` **Status:** Ready...