- Stanford University Centaur Group
- https://leni.sh
-
Admin of this website
- Joined on
2023-08-21
The main interaction monad should be
MetaM
and not TermElabM
chore: Version downgrade to 0.2.10-alpha
chore: Version downgrade to 0.2.9-alpha
4871133027
Merge pull request 'fix: Printing projection leads to crash' (#37) from io/sexp into dev
2dc7657e2a
doc: getUsedConstants bug about projections
ccf5a03647
fix: Printing projection leads to crash
fix: Printing projection leads to crash
fix: Printing projection leads to crash