Skip to content
Snippets Groups Projects
  1. May 16, 2024
  2. May 13, 2024
  3. May 06, 2024
  4. Apr 29, 2024
  5. Jan 19, 2024
  6. Jan 11, 2024
  7. Nov 26, 2023
  8. Nov 24, 2023
  9. Nov 07, 2023
  10. Sep 23, 2023
  11. Sep 22, 2023
  12. Sep 16, 2023
    • MaZiFAU's avatar
      SOMDOC; · 0db8aa88
      MaZiFAU authored
      SOMDOC;
      + changed to OMLIT<T> from OMF, OMSTR[, OMBOOL]
      + added support for Anonymous/Dynamic Types: OML [formerly RECARG]
      0db8aa88
  13. 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
  14. Sep 04, 2023
    • MaZiFAU's avatar
      MMTFunctions; BugFixes; Refactoring; · 3e7d4f72
      MaZiFAU authored
      MMTFunctions:
      +chabged to new FUN(TYPE)
      +changet to proper Tuple usage,
      +implemented: ProjL/R, FeedForward/StepUntil
      +ToType() for SomDocs
      +...
      
      Refactoring:
      +Popup/Behaviour
      
      BugFixes:
      +RightAngle
      +FallBackJasonScroll
      3e7d4f72
  15. Mar 13, 2023
  16. Mar 12, 2023
  17. Mar 11, 2023
  18. Feb 10, 2023
  19. Jan 27, 2023
  20. Jan 13, 2023
  21. Jul 30, 2022
  22. Jul 28, 2022
  23. Jul 22, 2022
  24. Jul 05, 2022
  25. Jun 30, 2022
  26. Jun 03, 2022
  27. May 05, 2022
  28. Jan 15, 2021
Loading