GitHub · Where software is built

8000 GitHub · Where software is built

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

Labels Milestones New issue

Automate JS publishing

#19

· justinlubin opened

on Mar 4, 2021

Fill caching

#12

· justinlubin opened

on Jun 28, 2020

Primitive refinements

#11

· justinlubin opened

on Jun 28, 2020

Functional axioms

#10

· justinlubin opened

on Jun 28, 2020

Add more sophisticated pattern matching

good first issue

#9

· justinlubin opened

on Jun 28, 2020

Add primitive types

good first issue

#8

· justinlubin opened

on Jun 28, 2020

Add more flexible structural recursion checks

#7

· justinlubin opened

on Jun 28, 2020

Add property-based tests

good first issue

#6

· justinlubin opened

on Jun 28, 2020

Solve synthesis mysteries

#5

· justinlubin opened

on Jun 28, 2020

Create editor plugins

good first issue

#4

· justinlubin opened

on Jun 28, 2020

Add more documentation to project webpage

#2

· justinlubin opened

on Jun 28, 2020

Add regression testing

#1

· justinlubin opened

on Jun 28, 2020

0