issues
search
stylewarning
/
deprecated-coalton-prototype
Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
MIT License
208
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
wip typeclasses
#29
stylewarning
opened
4 years ago
1
figure out printing, especially lists.
#28
stylewarning
opened
4 years ago
0
ensure DEFINE-TYPE defined constructors are lexical
#27
stylewarning
closed
4 years ago
2
Allow syntactic sugar (fn a -> b -> ... -> z)
#26
stylewarning
opened
4 years ago
0
overhaul global state management
#25
stylewarning
closed
4 years ago
0
Typeclasses
#24
commander-trashdin
opened
4 years ago
1
Don't warn when overriding equal type
#23
colescott
closed
4 years ago
0
Implement type=
#22
colescott
closed
4 years ago
0
add AND, OR
#21
stylewarning
closed
4 years ago
0
build essential functions into standard library
#20
stylewarning
opened
4 years ago
0
allow (DEFINE-TYPE A A)
#19
stylewarning
closed
4 years ago
0
have a separate DEFINE-MACRO within Coalton
#18
stylewarning
opened
4 years ago
0
Add tuple support
#17
stylewarning
opened
4 years ago
0
Write `type=` function
#16
stylewarning
closed
4 years ago
0
Tuple support
#15
colescott
opened
4 years ago
1
Allow macroexpansion side-effects to happen at load-time too
#14
stylewarning
opened
4 years ago
0
Add (and use) COND
#13
notmgsk
closed
4 years ago
1
Make define-type forms work at load-time
#12
appleby
closed
5 years ago
1
Failed to parse (TRUE) because: The constructor TRUE is unknown.
#11
appleby
opened
5 years ago
6
Expand macros in COALTON-TOPLEVEL
#10
stylewarning
opened
5 years ago
0
Bad error message when defining a constructor & type of same name
#9
stylewarning
closed
4 years ago
0
Implement more general pattern matching facility
#8
stylewarning
opened
5 years ago
1
Vastly improve error message experience
#7
stylewarning
opened
5 years ago
0
Check declared type against inferred type
#6
stylewarning
opened
5 years ago
0
Improve Coalton <-> Lisp bridge
#5
stylewarning
opened
5 years ago
0
Start unit test suite
#4
stylewarning
opened
5 years ago
0
WIP make toplevel definitions work
#3
stylewarning
closed
5 years ago
0
Coalton thinks (-> (Liszt t) t) is a binary function
#2
stylewarning
closed
4 years ago
4
Define printable representations of ADTs
#1
fiddlerwoaroof
closed
5 years ago
0