Skip to content

Activity

Add missing logo image

nathancarterpushed 1 commit to main • 630f1c7…724aa23 • 
on Aug 5, 2024

Import remainder of Ken's docs, fix all links

nathancarterpushed 1 commit to main • 685862e…630f1c7 • 
on Aug 5, 2024

Add most of Ken's Math299 Lurch documents

nathancarterpushed 1 commit to main • 2342e1d…685862e • 
on Aug 5, 2024

Uploading Ken's welcome page from another repo

nathancarterpushed 1 commit to main • 057dcb3…2342e1d • 
on Aug 5, 2024

Fixing typo in URL

nathancarterpushed 1 commit to main • 106db56…057dcb3 • 
on Aug 5, 2024

Pasting in README Ken wrote

nathancarterpushed 1 commit to main • 2af1f91…106db56 • 
on Aug 5, 2024

Change which configuration file to load by default

nathancarterpushed 1 commit to main • 8c94f9c…2af1f91 • 
on Aug 5, 2024