"git@gl.kwarc.info:FrameIT/UFrameIT.git" did not exist on "c504095b4e712d542ae55b023e6304f900d5e114"
-
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
MaZiFAU authoredScrollDetail: + 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
