This website requires JavaScript.
Explore
Help
Sign In
rhi
/
quox
Watch
1
Star
0
Fork
You've already forked quox
0
Code
Issues
15
Pull requests
1
Releases
Wiki
Activity
442
commits
6
branches
0
tags
1.3
MiB
ac518472ad
Commit graph
5 commits
Author
SHA1
Message
Date
rhiannon morris
8221d71416
some refactors
2023-09-17 14:41:20 +02:00
rhiannon morris
6f9d31aa0a
add displacement to Definition
2023-08-28 19:59:36 +02:00
rhiannon morris
22db2724ce
make coercion computation type-directed like it should be
2023-08-26 21:00:19 +02:00
rhiannon morris
a221380d61
more effect stuff, incl. ST
2023-08-25 18:59:54 +02:00
rhiannon morris
8264a1bb81
split up whnf module
2023-08-24 18:42:26 +02:00