JLambda

0 Tags

770 KiB

Author	SHA1	Message	Date
nisstyre56	cd23678c5a	fix semantic ambiguity with type aliases vs. data types with no parameters	11 years ago
nisstyre56	64419eeb07	move as many operator definitions to prelude.jl as possible, remove some ones I don't care about right now	11 years ago
nisstyre56	914598e3e9	start moving operator definitions to prelude.jl	11 years ago
nisstyre56	87a4176bdd	fix bug with validity checking of type definitions	11 years ago
nisstyre56	292517cb5c	add type for the cons operator	11 years ago
nisstyre56	d36a8fe0d9	a bunch of types and declarations, adopt the prefix that unboxed types are declared as Intrinsic for now	11 years ago
nisstyre56	218f63d233	start building up stdlib type declarations for use in the type checker	11 years ago