Opened 14 years ago

Last modified 4 years ago

#87 new task

add dictionary definitions to wiki

Reported by: flippa Owned by:
Priority: normal Milestone:
Version: Keywords:
Cc: Meta Owner:
State: discussion Section: N/A or multiple
Related Tickets:

Description (last modified by flippa)

Add some definitions of technical terms users of this wiki may not be familiar with.

An example might be Predicativity (or equally, Impredicativity) in the context of type systems. A starter definition for those might be:

"When talking about type systems, and ignoring historical context:

  • Predicative: type variables only instantiate to monotypes
  • Impredicative: type variables may be instantiated to any type"

Change History (5)

comment:1 Changed 14 years ago by flippa

Description: modified (diff)

comment:2 Changed 14 years ago by ijones

Owner: changed from ijones to flippa

comment:3 Changed 4 years ago by Herbert Valerio Riedel

Milestone:

moving non-milestoned many year old legacy tickets out of the way

comment:4 Changed 4 years ago by Herbert Valerio Riedel

Priority: majornormal

Set default priority (as this confuses Trac otherwise)

comment:5 Changed 4 years ago by Herbert Valerio Riedel

Owner: flippa deleted

remove owners from legacy tickets

Note: See TracTickets for help on using tickets.