Make redtt run again (#490)

Enable type inference for Menhir. (#489)

updating versions (#487)

Use Stdlib instead of Pervasives. (#484)

Some code golfing ;) (#483)

Parametric smash (#482)

loosen version bounds, upgrade packages (#429)

pullbacks (#479)

add some Isos and helper functions (#478)

define an anders suc (#474)

make connection/both better (#472)

delete commented paths.s1 code (#475)

drastically improve hopf performance (#473)

Clarify relationship with RedPRL

use cap tactic in paths.s2 (#470)