RedPRL/redtt

Issues

• Vim highlighting weirdness

  #403 opened 2 years ago by favonia
  0

• Let equate_ty (quote_ty, equiv_ty) handle the types directly

  #363 opened 2 years ago by favonia
  3

• Remove mortality in the coe of extension types

  #360 opened 2 years ago by favonia
  1

• [Efficiency] simultaneous, delayed substitution

  #362 opened 2 years ago by favonia
  1

• add tactics for box,cap

  #410 opened 6 years ago by ecavallo
  5

• Benchmark: Map vs PersistentTable

  #358 opened 2 years ago by favonia
  0

• POSIX mount semantics [WIP]

  #423 opened 2 years ago by favonia
  3

• Syntax and semantics of namespaces

  #451 opened 2 years ago by favonia
  2

• smalltt

  #476 opened 2 years ago by spitters
  2

• Module for indentation/printing

  #401 opened 2 years ago by favonia
  0

• Cache the locations of redlib files

  #416 opened 2 years ago by favonia
  0

• Importer/GlobalEnv/ResEnv rectification campaign

  #430 opened 2 years ago by favonia
  0

• Informal description of the rot files

  #392 opened 6 years ago by favonia
  1

• Syntax and semantics of name modifiers (v5.1, WIP)

  #449 opened 4 years ago by favonia
  7

• Factor out Favonia Namespace code into library

  #488 opened 5 years ago by jonsterling
  3

• Upgrade compiler and dependencies

  #486 opened 5 years ago by jonsterling
  0

• Rename RestrictThunk

  #364 opened 5 years ago by favonia
  0

• [Efficiency] specialized, unary Quote.quote.

  #361 opened 5 years ago by favonia
  0

• rename "spine" to "stack"

  #421 opened 5 years ago by jonsterling
  0

• Systematic error type in NewDomain

  #440 opened 5 years ago by jonsterling
  0

• Systematic error type in NewQuote

  #441 opened 5 years ago by jonsterling
  1

• Type checking of composite types in NewTyping

  #443 opened 5 years ago by jonsterling
  0

• New typechecker

  #425 opened 5 years ago by jonsterling
  0

• Typechecking of HITs in NewTyping

  #442 opened 5 years ago by jonsterling
  0

• Is there editor support for .red code?

  #485 opened 5 years ago by JuhoKupiainen
  1

• Is "path of path compositions" available?

  #481 opened 6 years ago by anqurvanillapy
  2

• Mortality

  #477 opened 6 years ago by kaonn
  6

• Currying inside systems

  #480 opened 6 years ago by 3abc
  1

• What is the relationship between redtt and redprl?

  #471 opened 6 years ago by outlace
  1

• Resolution of constructor names

  #402 opened 6 years ago by favonia
  2

• Private data types

  #409 opened 6 years ago by favonia
  0

• Decompose elim into rec and case

  #454 opened 6 years ago by jonsterling
  2

• Update Refiner for new domain

  #433 opened 6 years ago by jonsterling
  1

• rot++

  #439 opened 6 years ago by favonia
  1

• Bring new-domain up to date with master

  #438 opened 6 years ago by jonsterling
  0

• Implement NewCx

  #428 opened 6 years ago by jonsterling
  0

• Update elaborator for new-domain

  #427 opened 6 years ago by jonsterling
  2

• Update unifier for new-domain

  #426 opened 6 years ago by jonsterling
  1

• Bugs in treatment of V types

  #419 opened 6 years ago by jonsterling
  1

• Implement the cleanliness checking.

  #408 opened 6 years ago by favonia
  0

• add surface syntax for V,vin,vproj

  #390 opened 6 years ago by ecavallo
  3

• Concrete notation of coe sucks!

  #400 opened 6 years ago by jonsterling
  3

• redtt aborts on macOS

  #387 opened 6 years ago by UlrikBuchholtz
  6

• Basic Emacs Mode

  #393 opened 6 years ago by jonsterling
  0

• Get rid of the incremental parser

  #381 opened 6 years ago by favonia
  1

• bug with lines in data parameters (?)

  #386 opened 6 years ago by tomjack
  1

• Weird bug when trying to introduce pi type

  #377 opened 6 years ago by jonsterling
  0

• Installation script for vim mode

  #370 opened 6 years ago by jonsterling
  1

• Proposal for better HIT declaration notation

  #368 opened 6 years ago by jonsterling
  5

• Current coe of fhcom type is wrong

  #367 opened 6 years ago by favonia
  0