This repository was archived by the owner on Apr 1, 2025. It is now read-only.
Commits
User selector
Commit History
Commits on Feb 6, 2020
- committed
Patrick Thomson - committedPatrick Thomson
Commits on Jan 29, 2020
- committed
- committed
- committedPatrick Thomson
- committedPatrick Thomson
- committed
Commits on Jan 27, 2020
- committedPatrick Thomson
Commits on Jan 17, 2020
- committedPatrick Thomson
Commits on Dec 19, 2019
- committed
Commits on Dec 13, 2019
- committedPatrick Thomson
Commits on Dec 10, 2019
- committedPatrick Thomson
Commits on Nov 8, 2019
- committedPatrick Thomson
- committedPatrick Thomson
Commits on Oct 30, 2019
Commits on Oct 25, 2019
:fire: NFData & NFData1 instances wherever they may be found.
Show description for a05533fcommitted- committed
Commits on Oct 23, 2019
Commits on Oct 21, 2019
Revert "Define TypeScript.Term as a wrapper for Term."
Show description for d3af195committed- committed
- committed
Commits on Oct 19, 2019
- committed
- committed
- committed
Revert "Revert "Generalize makeTerm over the term type.""
Show description for 2976949committedRevert "Generalize makeTerm over the term type."
Show description for 2449f9acommitted
Commits on Oct 18, 2019
- committed
- committed
- committed
- committed
- committed
- committed