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