Skip to content

Issues: np/ling

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

28 Open 6 Closed
28 Open 6 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Syntactic support for grouped local definitions enhancement
#37 opened Aug 22, 2016 by np
Generalize new (allocation) even more... enhancement
#34 opened May 5, 2016 by np
Propagate session type information downwards
#33 opened May 4, 2016 by np
Language Specification
#29 opened Jan 9, 2016 by np
Sequential new
#28 opened Dec 19, 2015 by np
Arbitrary sequencing of processes enhancement
#27 opened Dec 15, 2015 by np
1
Implicit forwarding enhancement help wanted
#26 opened Dec 9, 2015 by np
Fusion enhancement
#25 opened Dec 8, 2015 by np
Annotations on channel allocation enhancement help wanted
#24 opened Dec 7, 2015 by np
new floating and dependent types question
#23 opened Nov 24, 2015 by np
Translating λ-terms to processes...
#22 opened Nov 13, 2015 by np
Extensional case equivalence enhancement
#21 opened Nov 12, 2015 by np
2
Extending the assertion language enhancement
#20 opened Nov 11, 2015 by np
Make as i be optional in slice enhancement
#19 opened Nov 10, 2015 by np
Syntactic sugar to receive on channels within terms enhancement
#16 opened Nov 3, 2015 by np
1
A backend targeting the Go language enhancement
#15 opened Oct 26, 2015 by np
Internally forwarders should be terms enhancement
#14 opened Oct 25, 2015 by np
Inferring dependent sends help wanted
#13 opened Oct 23, 2015 by np
1
Exponentials enhancement
#11 opened Oct 18, 2015 by np
Dependent sessions enhancement
#10 opened Oct 14, 2015 by np
Use wl-pprint-extras to replace the pretty-printer enhancement
#9 opened Oct 8, 2015 by np
Alternative syntax with a classic memory read/write style enhancement
#8 opened Oct 8, 2015 by np
4
Splitting/Grouping channels using patterns enhancement
#7 opened Oct 8, 2015 by np
Syntactic sugar to combine processes enhancement
#6 opened Oct 8, 2015 by np
1
Multisided new enhancement
#4 opened Oct 4, 2015 by np
1 of 5 tasks
3
ProTip! Exclude everything labeled bug with -label:bug.