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 |
---|