Search results

Factor out Favonia Namespace code into library

Status: Open.

#488 In RedPRL/redtt;

· jonsterling opened on Jan 10, 2020

Currying inside systems

Status: Open.

#480 In RedPRL/redtt;

· 3abc opened on Feb 13, 2019

Mortality

bugSomething isn't workingSomething isn't working

Status: Open.

#477 In RedPRL/redtt;

· kaonn opened on Jan 15, 2019

Decompose elim into rec and case

Thought

Status: Open.

#454 In RedPRL/redtt;

· jonsterling opened on Oct 28, 2018

Private data types

Status: Open.

#409 In RedPRL/redtt;

· favonia opened on Oct 17, 2018

Implement the cleanliness checking.

Status: Open.

#408 In RedPRL/redtt;

· favonia opened on Oct 17, 2018

Resolution of constructor names

Status: Open.

#402 In RedPRL/redtt;

· favonia opened on Oct 16, 2018

Concrete notation of coe sucks!

Status: Open.

#400 In RedPRL/redtt;

· jonsterling opened on Oct 16, 2018

Weird bug when trying to introduce pi type

Status: Open.

#377 In RedPRL/redtt;

· jonsterling opened on Oct 10, 2018

Current coe of fhcom type is wrong

Status: Open.

#367 In RedPRL/redtt;

· favonia opened on Oct 5, 2018

Strict Propositions

Status: Open.

#357 In RedPRL/redtt;

· spitters opened on Sep 24, 2018

Expose generalize tactic to the user

Status: Open.

#333 In RedPRL/redtt;

· jonsterling opened on Sep 17, 2018