This repository has been archived by the owner on Oct 13, 2021. It is now read-only.

Fetch and display builtin terms' types #40

Open

mitchellwrosen opened this issue Sep 10, 2019 · 1 comment

Member

mitchellwrosen commented Sep 10, 2019

They aren't in the codebase yet, but when they are, we should fetch them.

Collaborator

nicklawls commented Nov 10, 2019

Anyone know if builtins' types are in the codebase now?

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.