Issues

• Pull request?

  ToposInstitute/polytt#62 · Filter by author 1337777 opened on Jan 15, 2024

• Type Hole De-Elaboration?

  Feature
  ToposInstitute/polytt#58 · Filter by author solomon-b opened on Sep 1, 2023

• Don't duplicate imports across a module hierarchy

  BugFeature
  ToposInstitute/polytt#57 · Filter by author solomon-b opened on Aug 30, 2023
  

• Finite Set elimination not computing fully when typechecking

  Bug
  ToposInstitute/polytt#55 · Filter by author solomon-b opened on Aug 30, 2023

• Compile to JS and implement web based editor

  FeatureNon-Blocker
  ToposInstitute/polytt#48 · Filter by author solomon-b opened on Jul 11, 2023

• Implicit Params

  FeatureNon-Blocker
  ToposInstitute/polytt#46 · Filter by author solomon-b opened on Jul 10, 2023
  1

• Case Trees

  FeatureNon-Blocker
  ToposInstitute/polytt#43 · Filter by author solomon-b opened on Jul 9, 2023
  1

• Infix/Mixfix Operators

  FeatureNon-Blocker
  ToposInstitute/polytt#39 · Filter by author solomon-b opened on Jul 9, 2023

• Bundle std-lib with poly projects automatically

  FeatureNon-Blocker
  ToposInstitute/polytt#37 · Filter by author solomon-b opened on Jul 9, 2023

• Pretty Printing

  ToposInstitute/polytt#23 · Filter by author solomon-b opened on Apr 24, 2023

• Engineering Pride

  ToposInstitute/polytt#21 · Filter by author MonoidMusician opened on Mar 29, 2023
  2

• Document Type Theory Rules

  Blocker
  ToposInstitute/polytt#20 · Filter by author solomon-b opened on Mar 6, 2023 · Make Repo Public
  1

• Blog Post

  Blocker
  ToposInstitute/polytt#19 · Filter by author solomon-b opened on Mar 6, 2023 · Make Repo Public

• Export to Graphviz

  Non-Blocker
  ToposInstitute/polytt#17 · Filter by author solomon-b opened on Mar 6, 2023

• FFI + I/O + Exception Handling

  Research
  ToposInstitute/polytt#14 · Filter by author solomon-b opened on Mar 6, 2023
  2

• Equality

  Non-Blocker
  ToposInstitute/polytt#13 · Filter by author solomon-b opened on Mar 6, 2023
  1

• Fin

  Non-Blocker
  ToposInstitute/polytt#12 · Filter by author solomon-b opened on Mar 6, 2023
  1

• Free / Co-Free

  Research
  ToposInstitute/polytt#11 · Filter by author solomon-b opened on Mar 6, 2023
  1

• Inductive Types

  Research
  ToposInstitute/polytt#10 · Filter by author solomon-b opened on Mar 6, 2023
  3

• Documentation

  Blocker
  ToposInstitute/polytt#7 · Filter by author solomon-b opened on Mar 6, 2023 · Make Repo Public

• Easier Installation Story

  Blocker
  ToposInstitute/polytt#5 · Filter by author solomon-b opened on Mar 6, 2023 · Make Repo Public
  1

• Definitional Fibres

  Research
  ToposInstitute/polytt#2 · Filter by author solomon-b opened on Mar 6, 2023