login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
IssueTracker
#218 New version Reduce 3.8 includes MathML  ← ↑ →  #22 Modification of axiom.input ?

#219 The interpreter does not understand dependend types
  
last edited 16 years ago

Related pages

Parents
#219 The interpreter does not understand dependend types is a subtopic of:

  1. IssueTracker


Backlinks
No other pages link to this one.

 

Subtopics
This page has no subtopics.