Skip to content

Activity

Forgot a few things

lane-corepushed 1 commit to master • 8170ced…52f947e • 
on Oct 25, 2024

README.md: Added to Related Work section

Force push
lane-coreforce pushed to master • da0601d…8170ced • 
on Oct 22, 2024

README.md: Added to Related Work section

lane-corepushed 1 commit to master • 5b71533…da0601d • 
on Oct 22, 2024

Cat.Base.Type: Moved from Cat.Base in anticipation for structure of c…

lane-corepushed 1 commit to master • 86b0f8e…5b71533 • 
on Oct 22, 2024

Lib: Pretty extensive refactor as the base lib comes into its final s…

lane-corepushed 4 commits to master • 01e7952…86b0f8e • 
on Oct 22, 2024

Cat.Base: Definition of categories based on Typoids

Force push
lane-coreforce pushed to master • 7b1589e…01e7952 • 
on Oct 14, 2024

Cat.Base: Definition of categories based on Typoids

Force push
lane-coreforce pushed to master • 11a74b0…7b1589e • 
on Oct 14, 2024

Cat.Base: Definition of categories based on Typoids

Force push
lane-coreforce pushed to master • f119055…11a74b0 • 
on Oct 14, 2024

Cat.Base: Definition of categories based on Typoids

lane-corepushed 1 commit to master • cafd4ca…f119055 • 
on Oct 14, 2024

Lib.Trait.Typoid.Type: unrolled definitions for performance and added…

lane-corepushed 3 commits to master • a8ce43e…cafd4ca • 
on Oct 14, 2024

Trait.Uninhabited: General purpose typeclass for non-existent things

lane-corepushed 6 commits to master • d3963fa…a8ce43e • 
on Oct 14, 2024

Trait.IdSys: Identity Systems -- WIP

lane-corepushed 8 commits to master • 07e5406…d3963fa • 
on Oct 14, 2024

Lib: touchups, attribution in Dec

lane-corepushed 2 commits to master • e8c9160…07e5406 • 
on Oct 10, 2024

README.md: slight edits

lane-corepushed 1 commit to master • fce09d1…e8c9160 • 
on Oct 10, 2024

README.md, Rel definitions, and .gitattributes

lane-corepushed 2 commits to master • 97361df…fce09d1 • 
on Oct 10, 2024

Big refactor

lane-corepushed 1 commit to master • 12d5128…97361df • 
on Sep 24, 2024

Prim: reorg and touchups; adding Prelude intro; optional modules dir

lane-corepushed 1 commit to master • f76ab0f…12d5128 • 
on Aug 27, 2024

Global namespace small refactor

lane-corepushed 1 commit to master • 864064d…f76ab0f • 
on Aug 26, 2024

gitignore

lane-corepushed 2 commits to master • 9133479…864064d • 
on Aug 26, 2024

Prim.Nat.Order: Natural Number Preorder module

Force push
lane-coreforce pushed to master • 31a2215…9133479 • 
on Aug 19, 2024

Initial commit

Force push
lane-coreforce pushed to master • a646291…31a2215 • 
on Aug 12, 2024

Initial commit

lane-corecreated master • a646291 • 
on Aug 12, 2024