ToposInstitute/polytt

Issues

• Pull request?

  #62 opened 8 months ago by 1337777
  0

• FFI + I/O + Exception Handling

  #14 opened a year ago by solomon-b
  2

• Basic Code Cleanup

  #8 opened a year ago by solomon-b
  1

• Inductive Types

  #10 opened a year ago by solomon-b
  3

• Lambda parsing doesn't allow for no space between lambda and binder

  #59 opened a year ago by solomon-b
  2

• Finite Set elimination not computing fully when typechecking

  #55 opened a year ago by solomon-b
  0

• Type Hole De-Elaboration?

  #58 opened a year ago by solomon-b
  0

• Don't duplicate imports across a module hierarchy

  #57 opened a year ago by solomon-b
  0

• Case Trees

  #43 opened a year ago by solomon-b
  1

• Testing

  #15 opened a year ago by solomon-b
  1

• Infix/Mixfix Operators

  #39 opened a year ago by solomon-b
  0

• Engineering Pride

  #21 opened a year ago by MonoidMusician
  2

• Implicit Params

  #46 opened a year ago by solomon-b
  1

• Compile to JS and implement web based editor

  #48 opened a year ago by solomon-b
  0

• Cannot read file paths or modules named "Poly"

  #30 opened a year ago by solomon-b
  2

• Lexer fails with comment on final line

  #29 opened a year ago by solomon-b
  2

• Standard Library

  #6 opened a year ago by solomon-b
  0

• Tutorials

  #18 opened a year ago by solomon-b
  0

• Bundle std-lib with poly projects automatically

  #37 opened a year ago by solomon-b
  0

• Improved Syntax

  #3 opened a year ago by solomon-b
  2

• Let bindings not showing up as in scope for type holes

  #31 opened a year ago by solomon-b
  1

• Nested `let` bindings losing scope

  #32 opened a year ago by solomon-b
  0

• Modules / Imports

  #16 opened a year ago by solomon-b
  1

• Poly Composition Primitive

  #9 opened a year ago by solomon-b
  1

• Easier Installation Story

  #5 opened a year ago by solomon-b
  1

• Pretty Printing

  #23 opened a year ago by solomon-b
  0

• Negative Pi

  #4 opened a year ago by solomon-b
  1

• Free / Co-Free

  #11 opened a year ago by solomon-b
  1

• Document Type Theory Rules

  #20 opened a year ago by solomon-b
  1

• Fin

  #12 opened a year ago by solomon-b
  1

• Equality

  #13 opened a year ago by solomon-b
  1

• Documentation

  #7 opened a year ago by solomon-b
  0

• Blog Post

  #19 opened a year ago by solomon-b
  0

• Export to Graphviz

  #17 opened a year ago by solomon-b
  0

• Definitional Fibres

  #2 opened a year ago by solomon-b
  0