Search results

Pull request?

Status: Open.

#62 In ToposInstitute/polytt;

· 1337777 opened on Jan 15, 2024

Type Hole De-Elaboration?

Feature

Status: Open.

#58 In ToposInstitute/polytt;

· solomon-b opened on Sep 1, 2023

Don't duplicate imports across a module hierarchy

Bug

Feature

Status: Open.

#57 In ToposInstitute/polytt;

· solomon-b opened on Aug 30, 2023

Finite Set elimination not computing fully when typechecking

Bug

Status: Open.

#55 In ToposInstitute/polytt;

· solomon-b opened on Aug 30, 2023

Compile to JS and implement web based editor

Feature

Non-Blocker

Status: Open.

#48 In ToposInstitute/polytt;

· solomon-b opened on Jul 11, 2023

Implicit Params

Feature

Non-Blocker

Status: Open.

#46 In ToposInstitute/polytt;

· solomon-b opened on Jul 10, 2023

Case Trees

Feature

Non-Blocker

Status: Open.

#43 In ToposInstitute/polytt;

· solomon-b opened on Jul 9, 2023

Infix/Mixfix Operators

Feature

Non-Blocker

Status: Open.

#39 In ToposInstitute/polytt;

· solomon-b opened on Jul 9, 2023

Bundle std-lib with poly projects automatically

Feature

Non-Blocker

Status: Open.

#37 In ToposInstitute/polytt;

· solomon-b opened on Jul 9, 2023

Pretty Printing

Status: Open.

#23 In ToposInstitute/polytt;

· solomon-b opened on Apr 24, 2023

Engineering Pride

Status: Open.

#21 In ToposInstitute/polytt;

· MonoidMusician opened on Mar 29, 2023

Document Type Theory Rules

Blocker

Status: Open.

#20 In ToposInstitute/polytt;

· solomon-b opened on Mar 6, 2023

·  

Make Repo Public