Skip to content
Snippets Groups Projects
Select Git revision
  • JS-based-scroll-rendering
  • master default
  • Paul_Marius_Level
  • Paul_Marius_2
  • Paul_Marius
  • Andi_Mark
  • be-UnityWebView
  • gitignoreFrameitServer
  • ZimmerBSc
  • Bugfix_StageLoading
  • stages
  • MAZIFAU_Experimental
  • tsc/coneworld
  • tsc/fact-interaction
  • marcel
  • MaZiFAU_TopSort
  • mergeHelper
  • zwischenSpeichern
  • tempAndrToMaster
  • SebBranch
  • 3.0
  • v2.1
  • v2.0
  • v1.0
24 results

TechDemo B.JSON

Blame
    • MaZiFAU's avatar
      d0f1fddc
      (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions; · d0f1fddc
      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
      d0f1fddc
      History
      (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
      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