Andromedans / andromeda

A proof assistant for general type theories
http://www.andromeda-prover.org/
Other
297 stars 34 forks source link

Fix topcomp printing #507

Closed haselwarter closed 4 years ago

haselwarter commented 4 years ago

Print a top comp as - :> [type] = [value], like a toplet instead of using - : [type] = [value].