Skip to content
Snippets Groups Projects
Commit d0f1fddc authored by MaZiFAU's avatar MaZiFAU
Browse files

(Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;

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
parent adf0c56a
Branches
No related tags found
No related merge requests found
Showing
with 1232 additions and 321 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment