Jonathan Lorimer

icon indicating a website link https://jonathanlorimer.dev/

icon location Toronto, Ontario

Results 3 repositories owned by Jonathan Lorimer

core-warn

29
Stars
0
Forks
Watchers

Provide warnings for unexpected Core generation

verified publisher icon JonathanLorimer

book-of-monads

19
Stars
4
Forks
Watchers

Exercises from the 'Book of Monads' by Alejandro Serrano Mena

verified publisher icon JonathanLorimer

conceptual-mathematics

21
Stars
0
Forks
Watchers

Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics

verified publisher icon JonathanLorimer