MaZiFAU
authored
ScrollDetail: + standarsized method of fact injection and postprocessing (REVISIONIZE) + use mwthod for CanonBalls + upgraded fallback scrolls.json DemoFiles: + added CanonBall 3D (Calculator) + modified to be compatible Facts: + fixed some of the newer Facts + added RealLitFact ShapeGenerator: + Prisms now offset along normal + fixed some inconsequentially thrown errors Endpoints: + Fixed getType for FUNTYPE and others LambdaExpressions: + includes FactURIs + MMT Tuples will now be c# Tuples --> Including Isomorphismus for Vector3/?point/RxRxR + support ProjL/R + upgraded CallAnyFunction for more cases Generics/Interface/Array + First attempempt for lambda logic as used in MMT
Name | Last commit | Last update |
---|---|---|
.. | ||
Extensions | ||
Extensions.meta | ||
Graph.cs | ||
Graph.cs.meta | ||
IJSONsavable.cs | ||
IJSONsavable.cs.meta | ||
Math3d.cs | ||
Math3d.cs.meta |