Toggle navigation
JUPYTER
FAQ
View on GitHub
Execute on Binder
v0.4.1.0
branch
debug/web-construction-zipper/localFmap-zoomout
devel/KDE
devel/atlasbased-affine
devel/core-package
devel/generic-instances
devel/interioragnostic
devel/web-construction-zipper
feature/LieGroups
feature/coordinate-lenses
feature/tangentbundle-rotation
idea/trueaffine-category
master
migrate/hmatrix_to_linearmap-category
presentation/ICFP
refactor/boundaryless-hierarchy
temporary-commits/devel/core-package/2016-12-07_13-09-04
temporary-commits/devel/core-package/2016-12-07_18-54-39
temporary-commits/devel/interioragnostic/2016-12-05_16-30-36
temporary-commits/devel/web-construction-zipper/2017-04-23_01-50-01
temporary-commits/master/2016-10-17_16-17-00
temporary-commits/master/2016-10-18_02-21-29
temporary-commits/master/2023-05-12_19-29-39
tag
v0.6.1.0
v0.6.0.0
v0.5.0.4
v0.5.0.3
v0.5.0.2
v0.5.0.1
v0.4.5.0
v0.4.4.0
v0.4.1.0
v0.4.0.0
v0.3.0.0
v0.2.3.0
v0.2.2.0
v0.2.0.1
v0.1.6.3
v0.1.6.2
v0.1.5.2
v0.1.5.1
manifolds
manifolds
Name
..
Control
Data
Util
images
proof
COPYING
Setup.hs
manifolds.cabal