GitHub · Where software is built

8000 GitHub · Where software is built

More Web Proxy on the site http://driver.im/

Labels Milestones New issue

Go through the proposal text

#508

· monoidal opened

on Jul 10, 2020

Use reduceTyFamApp_maybe in Lint

#500

· monoidal opened

on Jun 8, 2020

Consider removing <code>One</code> and <code>Many</code> as pattern synonyms

#483

· goldfirere opened

on May 23, 2020

Tests for rebindable syntax

#432

· monoidal opened

on Oct 16, 2019

Static Argument Transform needs some love

#429

· aspiwack opened

on Oct 4, 2019

Unlifted values are not consumed linearly

#179

· andrewthad opened

on Oct 31, 2018

Proper implementation of <code>Arrow</code> syntax

#103

· aspiwack opened

on Jul 6, 2018

Efficient test of multiplicity-preservingness of η-reduction

#64

· aspiwack opened

on May 4, 2018

Multiplicity polymorphism: unification up to

#61

· aspiwack opened

on May 4, 2018

Disallow lazy linear patterns

#26

· aspiwack opened

on Nov 29, 2017

Handle linear view patterns

#24

· aspiwack opened

on Nov 29, 2017

Support for linear arrows

#11

· jeltsch opened

on Aug 18, 2017

0