GitHub - RedPRL/redprl.github.io at refs/heads/main

This branch is up to date with main.

Name	Name	Last commit message	Last commit date
Latest commit cangiuli fix broken link to Jon's WITS '22 talk Mar 26, 2024 6622665 · Mar 26, 2024 History 82 Commits
fonts	fonts	update	Oct 13, 2016
img	img	update the svg color	Jun 17, 2020
CNAME	CNAME	Create CNAME	Jun 17, 2020
index.html	index.html	fix broken link to Jon's WITS '22 talk	Mar 26, 2024
style.css	style.css	Update website with OCaml libraries	May 24, 2023

Provide feedback