Skip to content
Snippets Groups Projects
  1. Sep 11, 2023
    • MaZiFAU's avatar
      (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
  2. Jun 15, 2023
  3. Jun 29, 2022
  4. Jan 08, 2021
  5. Aug 01, 2020
  6. Feb 06, 2020
  7. Feb 03, 2020
  8. Jan 23, 2020
  9. Jan 05, 2020
  10. Dec 28, 2019
  11. Dec 12, 2019
  12. Dec 04, 2019
  13. Nov 26, 2019
  14. Nov 25, 2019
Loading