Skip to content
Snippets Groups Projects
  1. Jan 18, 2025
  2. Jan 15, 2025
  3. Nov 11, 2024
  4. Jul 20, 2024
  5. Jul 17, 2024
  6. Jun 01, 2024
  7. May 25, 2024
  8. May 16, 2024
  9. May 13, 2024
  10. May 06, 2024
  11. Apr 29, 2024
  12. Jan 19, 2024
  13. Jan 11, 2024
  14. Nov 26, 2023
  15. Nov 24, 2023
  16. Nov 07, 2023
  17. Sep 23, 2023
  18. Sep 22, 2023
  19. 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
  20. 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
  21. 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
  22. Mar 13, 2023
  23. Mar 12, 2023
  24. Mar 11, 2023
  25. Feb 10, 2023
  26. Jan 27, 2023
  27. Jan 13, 2023
  28. Jul 30, 2022
  29. Jul 28, 2022
  30. Jul 22, 2022
Loading