Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • patch-1
2 results

www

  • Clone with SSH
  • Clone with HTTPS
    • Forked from KWARC / kwarc.info / www
    Source project has a limited visibility.
    user avatar
    (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
    d0f1fddc
    History
    user avatar d0f1fddc
    History
    Name Last commit Last update