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