search

anoma / geb

A Categorical View of Computation
https://anoma.github.io/geb/
GNU General Public License v3.0
28 stars 10 forks source link

Reference Fixes #154

Closed agureev closed 11 months ago

agureev commented 1 year ago

Fixes typos causing reference problems for documentation building after merging #138

Removes typos from natural number specs, removes unnecessary generics.

agureev commented 1 year ago

This addresses Issue #151

mariari commented 11 months ago

This mostly works, good enough, will update the issue