Type
Type is a development platform that supports rapid construction of software applications based on blueprints and AI assistance. It can be used to build business prototypes such as ticketing systems.
Timeline (last 90 days)
The Kind of concrete types (such as Int and Bool) is * (now renamed Type).
In newer versions of GHC, * has been renamed Type and can be imported through the Data.Kind module.
Personal Software Factory used Claude on the Type platform to build a ticketing system based on the Help Desk blueprint, passing all 24 acceptance checks on the first attempt, with 64 automated tests included.
All Facts (3)
The Kind of concrete types (such as Int and Bool) is * (now renamed Type).
50%UnverifiedIn newer versions of GHC, * has been renamed Type and can be imported through the Data.Kind module.
50%UnverifiedPersonal Software Factory used Claude on the Type platform to build a ticketing system based on the Help Desk blueprint, passing all 24 acceptance checks on the first attempt, with 64 automated tests included.
50%